SherbyNet - /page/wikibook/entry.mu

<!DOCTYPE html>

<title>Busemann function</title>

</head>

Busemann function

</h1>

</header>

/* start https://en.wikipedia.org/ */

.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfbfb;box-sizing:border-box}.mw-parser-output .ambox+link+.ambox,.mw-parser-output .ambox+link+style+.ambox,.mw-parser-output .ambox+link+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+style+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+link+.ambox{margin-top:-1px}html body.mediawiki .mw-parser-output .ambox.mbox-small-left{margin:4px 1em 4px 0;overflow:hidden;width:238px;border-collapse:collapse;font-size:88%;line-height:1.25em}.mw-parser-output .ambox-speedy{border-left:10px solid #b32424;background-color:#fee7e6}.mw-parser-output .ambox-delete{border-left:10px solid #b32424}.mw-parser-output .ambox-content{border-left:10px solid #f28500}.mw-parser-output .ambox-style{border-left:10px solid #fc3}.mw-parser-output .ambox-move{border-left:10px solid #9932cc}.mw-parser-output .ambox-protection{border-left:10px solid #a2a9b1}.mw-parser-output .ambox .mbox-text{border:none;padding:0.25em 0.5em;width:100%}.mw-parser-output .ambox .mbox-image{border:none;padding:2px 0 2px 0.5em;text-align:center}.mw-parser-output .ambox .mbox-imageright{border:none;padding:2px 0.5em 2px 0;text-align:center}.mw-parser-output .ambox .mbox-empty-cell{border:none;padding:0;width:1px}.mw-parser-output .ambox .mbox-image-div{width:52px}@media(min-width:720px){.mw-parser-output .ambox{margin:0 10%}}@media print{body.ns-0 .mw-parser-output .ambox{display:none!important}}

/* end https://en.wikipedia.org/ */

</style><style data-mw-deduplicate="TemplateStyles:r1248332772">

/* start https://en.wikipedia.org/ */

.mw-parser-output .multiple-issues-text{width:95%;margin:0.2em 0}.mw-parser-output .multiple-issues-text>.mw-collapsible-content{margin-top:0.3em}.mw-parser-output .compact-ambox .ambox{border:none;border-collapse:collapse;background-color:transparent;margin:0 0 0 1.6em!important;padding:0!important;width:auto;display:block}body.mediawiki .mw-parser-output .compact-ambox .ambox.mbox-small-left{font-size:100%;width:auto;margin:0}.mw-parser-output .compact-ambox .ambox .mbox-text{padding:0!important;margin:0!important}.mw-parser-output .compact-ambox .ambox .mbox-text-span{display:list-item;line-height:1.5em;list-style-type:disc}body.skin-minerva .mw-parser-output .multiple-issues-text>.mw-collapsible-toggle,.mw-parser-output .compact-ambox .ambox .mbox-image,.mw-parser-output .compact-ambox .ambox .mbox-imageright,.mw-parser-output .compact-ambox .ambox .mbox-empty-cell,.mw-parser-output .compact-ambox .hide-when-compact{display:none}

/* end https://en.wikipedia.org/ */

</style>

In <a href="Geometric_topology" title="Geometric topology">geometric topology</a>, Busemann functions are used to study the large-scale geometry of geodesics in <a href="Hadamard_space" title="Hadamard space">Hadamard spaces</a> and in particular <a href="Hadamard_manifold" title="Hadamard manifold">Hadamard manifolds</a> (<a href="Simply_connected" class="mw-redirect" title="Simply connected">simply connected</a> complete <a href="Riemannian_manifold" title="Riemannian manifold">Riemannian manifolds</a> of nonpositive curvature). They are named after <a href="Herbert_Busemann" title="Herbert Busemann">Herbert Busemann</a>, who introduced them; he gave an extensive treatment of the topic in his 1955 book "The geometry of geodesics".

<div class="mw-heading mw-heading2"><h2 id="Definition_and_elementary_properties">Definition and elementary properties</h2></div>

Let <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle (X,d)}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle (X,d)}</annotation>

</semantics>

</math><img src="./cb4d7a16bca9e216c0221b43a1c3377aa5e358b8.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:6.039ex; height:2.843ex;" alt="{\displaystyle (X,d)}" loading="lazy"> be a <a href="Metric_space" title="Metric space">metric space</a>. A <a href="Ray_(geometry)" class="mw-redirect" title="Ray (geometry)">geodesic ray</a> is a path <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \gamma :[0,\infty )\to X}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \gamma :[0,\infty )\to X}</annotation>

</semantics>

</math><img src="./c977dff1bffbbc5d4b9a2dca83f0e049684e79c9.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:14.865ex; height:2.843ex;" alt="{\displaystyle \gamma :[0,\infty )\to X}" loading="lazy"> which minimizes distance everywhere along its length. i.e., for all <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle t,t'\in [0,\infty )}">

<msup>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle t,t'\in [0,\infty )}</annotation>

</semantics>

</math><img src="./98c365315fcdcdba1b891b4459165c94d3d3f059.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:12.31ex; height:3.009ex;" alt="{\displaystyle t,t'\in [0,\infty )}" loading="lazy">,

</mrow>

<msup>

</msup>

</mrow>

</mrow>

<msup>

</msup>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle d{\big (}\gamma (t),\gamma (t'){\big )}={\big |}t-t'{\big |}.}</annotation>

</semantics>

</math>

Equivalently, a ray is an isometry from the "canonical ray" (the set <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle [0,\infty )}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle [0,\infty )}</annotation>

</semantics>

</math><img src="./8dc2d914c2df66bc0f7893bfb8da36766650fe47.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:6.072ex; height:2.843ex;" alt="{\displaystyle [0,\infty )}" loading="lazy"> equipped with the Euclidean metric) into the metric space X.

Given a ray γ, the Busemann function <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle B_{\gamma }:X\to \mathbb {R} }">

<msub>

</mrow>

</msub>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle B_{\gamma }:X\to \mathbb {R} }</annotation>

</semantics>

</math><img src="./c53b801cf9db57c723fed25d06283da92e96a7ad.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.005ex; width:12.098ex; height:2.843ex;" alt="{\displaystyle B_{\gamma }:X\to \mathbb {R} }" loading="lazy"> is defined by

<msub>

</mrow>

</msub>

</mrow>

</munder>

</mrow>

</mrow>

</mrow>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle B_{\gamma }(x)=\lim _{t\to \infty }{\big (}d{\big (}\gamma (t),x{\big )}-t{\big )}}</annotation>

</semantics>

</math>

Thus, when t is very large, the distance <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle d{\big (}\gamma (t),x{\big )}}">

</mrow>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle d{\big (}\gamma (t),x{\big )}}</annotation>

</semantics>

</math><img src="./f1bbddc21e9b8fbb4b79c9a7fa86b0db4adc5ddb.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.005ex; width:9.621ex; height:3.176ex;" alt="{\displaystyle d{\big (}\gamma (t),x{\big )}}" loading="lazy"> is approximately equal to <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle B_{\gamma }(x)+t}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle B_{\gamma }(x)+t}</annotation>

</semantics>

</math><img src="./9247708cf11dfd54142d3774d994a547326dbdc1.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.005ex; width:9.708ex; height:3.009ex;" alt="{\displaystyle B_{\gamma }(x)+t}" loading="lazy">. Given a ray γ, its Busemann function is always well-defined: indeed the right hand side above <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle F_{t}(x){\stackrel {\text{def}}{=}}d{\big (}\gamma (t),x{\big )}-t}">

<msub>

</mrow>

</msub>

<mover>

</mrow>

</mrow>

</mover>

</mrow>

</mrow>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle F_{t}(x){\stackrel {\text{def}}{=}}d{\big (}\gamma (t),x{\big )}-t}</annotation>

</semantics>

</math><img src="./1e2a41ddac05f611ade0434665fcb791a911807f.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.005ex; width:20.907ex; height:4.009ex;" alt="{\displaystyle F_{t}(x){\stackrel {\text{def}}{=}}d{\big (}\gamma (t),x{\big )}-t}" loading="lazy">, tends pointwise to the left hand side on compacta, since <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle t-d(\gamma (t),x)=d(\gamma (t),\gamma (0))-d(\gamma (t),x)}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle t-d(\gamma (t),x)=d(\gamma (t),\gamma (0))-d(\gamma (t),x)}</annotation>

</semantics>

</math><img src="./7c534fd17f3456bb325fd0127a5144866c85a091.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:40.423ex; height:2.843ex;" alt="{\displaystyle t-d(\gamma (t),x)=d(\gamma (t),\gamma (0))-d(\gamma (t),x)}" loading="lazy"> is bounded above by <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle d(\gamma (0),x)}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle d(\gamma (0),x)}</annotation>

</semantics>

</math><img src="./a0f0f6a6f9f6af8b994ea4b50243966ddab830bc.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:9.623ex; height:2.843ex;" alt="{\displaystyle d(\gamma (0),x)}" loading="lazy"> and non-increasing since, if <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle s\leq t}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle s\leq t}</annotation>

</semantics>

</math><img src="./c3c12f663b9eb8759c0da898cc542d7cb3bcf5e5.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.505ex; width:5.029ex; height:2.176ex;" alt="{\displaystyle s\leq t}" loading="lazy">,

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle t-s+d(x,\gamma (s))-d(x,\gamma (t))\geq t-s-d(\gamma (s),\gamma (t))=0.}</annotation>

</semantics>

</math>

It is immediate from the triangle inequality that

</mrow>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle |B_{\gamma }(x)-B_{\gamma }(y)|\leq d(x,y),}</annotation>

</semantics>

</math>

so that <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle B_{\gamma }}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle B_{\gamma }}</annotation>

</semantics>

</math><img src="./214894c5851d61a5dac220a524041eb04e34655c.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.005ex; width:2.889ex; height:2.843ex;" alt="{\displaystyle B_{\gamma }}" loading="lazy"> is uniformly continuous. More specifically, the above estimate above shows that

<ul><li>Busemann functions are <a href="Lipschitz_function" class="mw-redirect" title="Lipschitz function">Lipschitz functions</a> with constant 1.<a href="#cite_note-1">[1]</a></li></ul>

By <a href="Dini's_theorem" title="Dini's theorem">Dini's theorem</a>, the functions <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle F_{t}(x)=d(x,\gamma (t))-t}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle F_{t}(x)=d(x,\gamma (t))-t}</annotation>

</semantics>

</math><img src="./0fb03bbc3371c5e413b5f794af72aa23dc1f7686.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:21.538ex; height:2.843ex;" alt="{\displaystyle F_{t}(x)=d(x,\gamma (t))-t}" loading="lazy"> tend to <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle B_{\gamma }(x)}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle B_{\gamma }(x)}</annotation>

</semantics>

</math><img src="./f1faba95d48fa23e7bc20ed000d7dd036a586623.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.005ex; width:6.028ex; height:3.009ex;" alt="{\displaystyle B_{\gamma }(x)}" loading="lazy"> uniformly on compact sets as t tends to infinity.

<div class="mw-heading mw-heading2"><h2 id="Example:_Poincaré_disk">Example: Poincaré disk</h2></div>

Let <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle D}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle D}</annotation>

</semantics>

</math><img src="./f34a0c600395e5d4345287e21fb26efd386990e6.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.924ex; height:2.176ex;" alt="{\displaystyle D}" loading="lazy"> be the unit disk in the complex plane with the <a href="Poincare_disk_model" class="mw-redirect" title="Poincare disk model">Poincaré metric</a>

<msup>

</mrow>

</msup>

<mfrac>

<mrow>

</mrow>

<msup>

</mrow>

</mrow>

</msup>

</mrow>

<mrow>

</mrow>

<msup>

</mrow>

</mrow>

</msup>

<msup>

</mrow>

</msup>

</mrow>

</mfrac>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle ds^{2}={4\,|dz|^{2} \over (1-|z|^{2})^{2}}.}</annotation>

</semantics>

</math>

Then, for <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle |z|<1}">

</mrow>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle |z|<1}</annotation>

</semantics>

</math><img src="./e1c0fa57b899b653a3823f85f43fd666309c09b3.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:6.643ex; height:2.843ex;" alt="{\displaystyle |z|<1}" loading="lazy"> and <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle |\zeta |=1}">

</mrow>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle |\zeta |=1}</annotation>

</semantics>

</math><img src="./9adf0385832e2c27e94c2d7a0d1ba2ecb93fee2d.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:6.65ex; height:2.843ex;" alt="{\displaystyle |\zeta |=1}" loading="lazy">, the Busemann function is given by<a href="#cite_note-2">[2]</a>

<msub>

</mrow>

</msub>

<mrow>

<mfrac>

<mrow>

</mrow>

<msup>

</mrow>

</mrow>

</msup>

</mrow>

<mrow>

</mrow>

<msup>

</mrow>

</mrow>

</msup>

</mrow>

</mfrac>

</mrow>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle B_{\zeta }(z)=-\log \left({1-|z|^{2} \over |z-\zeta |^{2}}\right),}</annotation>

</semantics>

</math>

where the term in brackets on the right hand side is the <a href="Poisson_kernel" title="Poisson kernel">Poisson kernel</a> for the unit disk and <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \zeta }">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \zeta }</annotation>

</semantics>

</math><img src="./d5c3916703cae7938143d38865f78f27faadd4ae.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:1.095ex; height:2.509ex;" alt="{\displaystyle \zeta }" loading="lazy"> corresponds to the radial geodesic <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \gamma }">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \gamma }</annotation>

</semantics>

</math><img src="./a223c880b0ce3da8f64ee33c4f0010beee400b1a.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:1.262ex; height:2.176ex;" alt="{\displaystyle \gamma }" loading="lazy"> from the origin towards <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \zeta }">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \zeta }</annotation>

</semantics>

</math><img src="./d5c3916703cae7938143d38865f78f27faadd4ae.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:1.095ex; height:2.509ex;" alt="{\displaystyle \zeta }" loading="lazy">,

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \gamma (t)=\zeta \tanh(t/2)}</annotation>

</semantics>

</math><img src="./9df6ef50990980e1e1bafb8a835fe78e48aeaf10.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:18.118ex; height:2.843ex;" alt="{\displaystyle \gamma (t)=\zeta \tanh(t/2)}" loading="lazy">. The computation of <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle d(x,y)}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle d(x,y)}</annotation>

</semantics>

</math><img src="./3772957879a8bbf7946bddf5743c508a1d5072c0.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:6.544ex; height:2.843ex;" alt="{\displaystyle d(x,y)}" loading="lazy"> can be reduced to that of <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle d(z,0)=d(|z|,0)=2\operatorname {artanh} (|z|)=\log \left({\tfrac {1+|z|}{1-|z|}}\right)}">

</mrow>

</mrow>

<mi>artanh</mi>

</mrow>

</mrow>

<mrow>

<mfrac>

<mrow>

</mrow>

</mrow>

<mrow>

</mrow>

</mrow>

</mfrac>

</mstyle>

</mrow>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle d(z,0)=d(|z|,0)=2\operatorname {artanh} (|z|)=\log \left({\tfrac {1+|z|}{1-|z|}}\right)}</annotation>

</semantics>

</math><img src="./fd8c36cf6de0b6b990d0b4d7d75f50f1196d659b.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.838ex; width:46.043ex; height:4.843ex;" alt="{\displaystyle d(z,0)=d(|z|,0)=2\operatorname {artanh} (|z|)=\log \left({\tfrac {1+|z|}{1-|z|}}\right)}" loading="lazy">, since the metric is invariant under <a href="M%C3%B6bius_transformation" title="Möbius transformation">Möbius transformations</a> in <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle SU(1,1)}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle SU(1,1)}</annotation>

</semantics>

</math><img src="./41cc26b9ca2e00a54f6c741c4cbb0f45051742cd.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:8.45ex; height:2.843ex;" alt="{\displaystyle SU(1,1)}" loading="lazy">; the geodesics through <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle 0}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle 0}</annotation>

</semantics>

</math><img src="./2aae8864a3c1fec9585261791a809ddec1489950.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.162ex; height:2.176ex;" alt="{\displaystyle 0}" loading="lazy"> have the form <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \zeta g_{t}(0)}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \zeta g_{t}(0)}</annotation>

</semantics>

</math><img src="./e547dae42d5056af8082dd35091f788491f07c92.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:6.002ex; height:2.843ex;" alt="{\displaystyle \zeta g_{t}(0)}" loading="lazy"> where <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle g_{t}}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle g_{t}}</annotation>

</semantics>

</math><img src="./41456e69ac70ddc3b17c94885bc75700f5a151e9.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:1.935ex; height:2.009ex;" alt="{\displaystyle g_{t}}" loading="lazy"> is the 1-parameter subgroup of <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle SU(1,1)}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle SU(1,1)}</annotation>

</semantics>

</math><img src="./41cc26b9ca2e00a54f6c741c4cbb0f45051742cd.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:8.45ex; height:2.843ex;" alt="{\displaystyle SU(1,1)}" loading="lazy">,

<msub>

</mrow>

</msub>

<mrow>

<mtr>

<mtd>

</mrow>

</mtd>

<mtd>

</mrow>

</mtd>

</mtr>

<mtr>

<mtd>

</mrow>

</mtd>

<mtd>

</mrow>

</mtd>

</mtr>

</mtable>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle g_{t}={\begin{pmatrix}\cosh(t/2)&\sinh(t/2)\\\sinh(t/2)&\cosh(t/2)\end{pmatrix}}}</annotation>

</semantics>

</math>

The formula above also completely determines the Busemann function by Möbius invariance.

<div class="mw-heading mw-heading2"><h2 id="Busemann_functions_on_a_Hadamard_space">Busemann functions on a Hadamard space</h2></div>

In a <a href="Hadamard_space" title="Hadamard space">Hadamard space</a>, where any two points are joined by a unique geodesic segment, the function <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle F=F_{t}}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle F=F_{t}}</annotation>

</semantics>

</math><img src="./cc2349d2cb9f328af3c6446bc720f19829189c9f.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:7.16ex; height:2.509ex;" alt="{\displaystyle F=F_{t}}" loading="lazy"> is convex, i.e. convex on geodesic segments <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle [x,y]}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle [x,y]}</annotation>

</semantics>

</math><img src="./1b7bd6292c6023626c6358bfd3943a031b27d663.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:4.813ex; height:2.843ex;" alt="{\displaystyle [x,y]}" loading="lazy">. Explicitly this means that if <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle z(s)}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle z(s)}</annotation>

</semantics>

</math><img src="./a8bfafde86f189e884d802e3b4cdb74e1e8fecf3.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:3.988ex; height:2.843ex;" alt="{\displaystyle z(s)}" loading="lazy"> is the point which divides <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle [x,y]}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle [x,y]}</annotation>

</semantics>

</math><img src="./1b7bd6292c6023626c6358bfd3943a031b27d663.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:4.813ex; height:2.843ex;" alt="{\displaystyle [x,y]}" loading="lazy"> in the ratio s : (1 − s), then <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle F(z(s))\leq sF(x)+(1-s)F(y)}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle F(z(s))\leq sF(x)+(1-s)F(y)}</annotation>

</semantics>

</math><img src="./096d8473717b51301ec1241254e12eabc4950d92.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:31.055ex; height:2.843ex;" alt="{\displaystyle F(z(s))\leq sF(x)+(1-s)F(y)}" loading="lazy">. For fixed <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle a}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle a}</annotation>

</semantics>

</math><img src="./ffd2487510aa438433a2579450ab2b3d557e5edc.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.23ex; height:1.676ex;" alt="{\displaystyle a}" loading="lazy"> the function <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle d(x,a)}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle d(x,a)}</annotation>

</semantics>

</math><img src="./0ebf61066ae2ba2c2fab995195cba72c6fd0f6b5.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:6.619ex; height:2.843ex;" alt="{\displaystyle d(x,a)}" loading="lazy"> is convex and hence so are its translates; in particular, if <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \gamma }">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \gamma }</annotation>

</semantics>

</math><img src="./a223c880b0ce3da8f64ee33c4f0010beee400b1a.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:1.262ex; height:2.176ex;" alt="{\displaystyle \gamma }" loading="lazy"> is a geodesic ray in <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle X}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle X}</annotation>

</semantics>

</math><img src="./68baa052181f707c662844a465bfeeb135e82bab.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.98ex; height:2.176ex;" alt="{\displaystyle X}" loading="lazy">, then <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle F_{t}}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle F_{t}}</annotation>

</semantics>

</math><img src="./42cf9007bfa40c26216b648363be8f67e73d38cb.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.321ex; height:2.509ex;" alt="{\displaystyle F_{t}}" loading="lazy"> is convex. Since the Busemann function <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle B_{\gamma }}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle B_{\gamma }}</annotation>

</semantics>

</math><img src="./214894c5851d61a5dac220a524041eb04e34655c.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.005ex; width:2.889ex; height:2.843ex;" alt="{\displaystyle B_{\gamma }}" loading="lazy"> is the pointwise limit of <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle F_{t}}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle F_{t}}</annotation>

</semantics>

</math><img src="./42cf9007bfa40c26216b648363be8f67e73d38cb.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.321ex; height:2.509ex;" alt="{\displaystyle F_{t}}" loading="lazy">,

<ul><li>Busemann functions are convex on Hadamard spaces.<a href="#cite_note-BGS-3">[3]</a></li>

<li>On a Hadamard space, the functions <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle F_{t}(y)=d(y,\gamma (t))-t}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle F_{t}(y)=d(y,\gamma (t))-t}</annotation>

</semantics>

</math><img src="./50f0d43c80c97f8130984155bc69d782cd2c6913.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:21.19ex; height:2.843ex;" alt="{\displaystyle F_{t}(y)=d(y,\gamma (t))-t}" loading="lazy"> converge uniformly to <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle B_{\gamma }}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle B_{\gamma }}</annotation>

</semantics>

</math><img src="./214894c5851d61a5dac220a524041eb04e34655c.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.005ex; width:2.889ex; height:2.843ex;" alt="{\displaystyle B_{\gamma }}" loading="lazy"> uniformly on any bounded subset of <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle X}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle X}</annotation>

</semantics>

</math><img src="./68baa052181f707c662844a465bfeeb135e82bab.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.98ex; height:2.176ex;" alt="{\displaystyle X}" loading="lazy">.<a href="#cite_note-4">[4]</a><a href="#cite_note-5">[5]</a></li></ul>

Let h(t) = d(y,γ(t)) − t = Ft(y). Since <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \gamma (t)}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \gamma (t)}</annotation>

</semantics>

</math><img src="./54fa4a5d64e164410e4a18106677bebefe1a1f1b.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:3.911ex; height:2.843ex;" alt="{\displaystyle \gamma (t)}" loading="lazy"> is parametrised by arclength, Alexandrov's first comparison theorem for Hadamard spaces implies that the function g(t) = d(y,γ(t))2 − t2 is convex. Hence for 0< s < t

<mfrac>

</mfrac>

</mrow>

<mfrac>

</mfrac>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle g(s)\leq (1-{s \over t})g(0)+{s \over t}g(t).}</annotation>

</semantics>

</math>

Thus

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<mfrac>

</mfrac>

</mrow>

<msup>

</mrow>

</msup>

<mfrac>

</mfrac>

</mrow>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<mfrac>

</mfrac>

</mrow>

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle 2sh(s)\leq (h(s)+s)^{2}-s^{2}=g(s)\leq (1-{s \over t})d(x,y)^{2}+{s \over t}(2th(t)+h(t)^{2})\leq d(x,y)^{2}+2sh(t)+{s \over t}d(x,y)^{2},}</annotation>

</semantics>

</math>

so that

</mrow>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mrow>

</mrow>

</mrow>

<mfrac>

</mfrac>

</mrow>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle |F_{s}(y)-F_{t}(y)|=|h(s)-h(t)|\leq {1 \over 2}(s^{-1}+t^{-1})d(x,y)^{2}.}</annotation>

</semantics>

</math>

Letting t tend to ∞, it follows that

</mrow>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mrow>

<mfrac>

<mrow>

<msup>

</mrow>

</msup>

</mrow>

<mrow>

</mrow>

</mfrac>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle |F_{s}(y)-B_{\gamma }(y)|\leq {d(x,y)^{2} \over 2s},}</annotation>

</semantics>

</math>

so convergence is uniform on bounded sets.

Note that the inequality above for <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle |F_{s}(y)-F_{t}(y)|}">

</mrow>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle |F_{s}(y)-F_{t}(y)|}</annotation>

</semantics>

</math><img src="./5c54c05bac5e5290f8edc3c671d4f8f0651b3ad8.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:14.882ex; height:2.843ex;" alt="{\displaystyle |F_{s}(y)-F_{t}(y)|}" loading="lazy"> (together with its proof) also holds for geodesic segments: if γ(t) is a geodesic segment starting at x and parametrised by arclength then

</mrow>

</mrow>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle |d(y,\Gamma (s))-s-d(y,\Gamma (t))+t|\leq (s^{-1}+t^{-1})d(x,y)^{2}.}</annotation>

</semantics>

</math>

Next suppose that x, y are points in a Hadamard space, and let δ(s) be the geodesic through x with δ(0) = y and δ(t) = x, where t = d(x,y). This geodesic cuts the boundary of the closed ball B(y,r) at the point δ(r). Thus if d(x,y) > r, there is a point v with d(y,v) = r such that d(x,v) = d(x,y) − r.

This condition persists for Busemann functions. The statement and proof of the property for Busemann functions relies on a fundamental theorem on closed convex subsets of a Hadamard space, which generalises <a href="Orthogonal_projection" class="mw-redirect" title="Orthogonal projection">orthogonal projection</a> in a <a href="Hilbert_space" title="Hilbert space">Hilbert space</a>: if C is a closed <a href="Convex_set" title="Convex set">convex set</a> in a Hadamard space X, then every point x in X has a unique closest point P(x) ≡ PC(x) in C and d(P(x),P(y)) ≤ d(x,y); moreover a = P(x) is uniquely determined by the property that, for y in C,

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle d(x,y)^{2}\geq d(x,a)^{2}+d(a,y)^{2},}</annotation>

</semantics>

</math>

so that the angle at a in the Euclidean <a href="Comparison_triangle" title="Comparison triangle">comparison triangle</a> for a,x,y is greater than or equal to π/2.

<ul><li>If h is a Busemann function on a Hadamard space, then, given y in X and r > 0, there is a unique point v with d(y,v) = r such that h(v) = h(y) − r. For fixed r > 0, the point v is the closest point of y to the closed convex C set of points u such that h(u) ≤ h(y) − r and therefore depends continuously on y.<a href="#cite_note-6">[6]</a></li></ul>

Let v be the closest point to y in C. Then h(v) = h(y) − r and so h is minimised by v in B(y,R) where R = d(y,v) and v is the unique point where h is minimised. By the Lipschitz condition r = |h(y) − h(v)| ≤ R. To prove the assertion, it suffices to show that R = r, i.e. d(y,v) = r. On the other hand, h is the uniform limit on any closed ball of functions hn. On B(y,r), these are minimised by points vn with hn(vn) = hn(y) − r. Hence the infimum of h on B(y,r) is h(y) − r and h(vn) tends to h(y) − r. Thus h(vn) = h(y) − rn with rn ≤ r and rn tending towards r. Let un be the closest point to y with h(un) ≤ h(y) − rn. Let Rn = d(y,un) ≤ r. Then h(un) = h(y) − rn, and, by the Lipschitz condition on h, Rn ≥ rn. In particular Rn tends to r. Passing to a subsequence if necessary it can be assumed that rn and Rn are both increasing (to r). The inequality for convex optimisation implies that for n > m.

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msup>

</mrow>

</msup>

</mrow>

</mrow>

</msubsup>

</mrow>

</mrow>

</msubsup>

</mrow>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle d(u_{n},u_{m})^{2}\leq R_{n}^{2}-R_{m}^{2}\leq 2r|R_{n}-R_{m}|,}</annotation>

</semantics>

</math>

so that un is a <a href="Cauchy_sequence" title="Cauchy sequence">Cauchy sequence</a>. If u is its limit, then d(y,u) = r and h(u) = h(y) − r. By uniqueness it follows that u = v and hence d(y,v) = r, as required.

Uniform limits. The above argument proves more generally that if d(xn,x0) tends to infinity and the functions hn(x) = d(x,xn) – d(xn,x0) tend uniformly on bounded sets to h(x), then h is convex, Lipschitz with Lipschitz constant 1 and, given y in X and r > 0, there is a unique point v with d(y,v) = r such that h(v) = h(y) − r. If on the other hand the sequence (xn) is bounded, then the terms all lie in some closed ball and <a href="Uniform_convergence" title="Uniform convergence">uniform convergence</a> there implies that (xn) is a Cauchy sequence so converges to some x∞ in X. So hn tends uniformly to h∞(x) = d(x,x∞) – d(x∞,x0), a function of the same form. The same argument also shows that the class of functions which satisfy the same three conditions (being convex, Lipschitz and having minima on closed balls) is closed under taking uniform limits on bounded sets.

Comment. Note that, since any closed convex subset of a Hadamard subset of a Hadamard space is also a Hadamard space, any closed ball in a Hadamard space is a Hadamard space. In particular it need not be the case that every geodesic segment is contained in a geodesic defined on the whole of R or even a semi-infinite interval [0,∞). The closed unit ball of a Hilbert space gives an explicit example which is not a proper metric space.

<ul><li>If h is a convex function, Lipschitz with constant 1 and h assumes its minimum on any closed ball centred on y with radius r at a unique point v on the boundary with h(v) = h(y) − r, then for each y in X there is a unique geodesic ray δ such that δ(0) = y and δ cuts each closed convex set h ≤ h(y) – r with r > 0 at δ(r), so that h(δ(t)) = h(y) – t. In particular this holds for each Busemann function.<a href="#cite_note-Bridson_1999_pages=271–272-7">[7]</a></li></ul>

The third condition implies that v is the closest point to y in the closed convex set Cr of points <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle u}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle u}</annotation>

</semantics>

</math><img src="./c3e6bb763d22c20916ed4f0bb6bd49d7470cffd8.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.33ex; height:1.676ex;" alt="{\displaystyle u}" loading="lazy"> such that h(u) ≤ h(y) – r. Let δ(t) for 0 ≤ t ≤ r be the geodesic joining y to v. Then k(t) = h(δ(t)) - h(y) is a convex Lipschitz function on [0,r] with Lipschitz constant 1 satisfying k(t) ≤ – t and k(0) = 0 and k(r) = –r. So k vanishes everywhere, since if 0 < s < r, k(s) ≤ –s and |k(s)| ≤ s. Hence h(δ(t)) = h(y) – t. By uniqueness it follows that δ(t) is the closest point to y in Ct and that it is the unique point minimising h in B(y,t). Uniqueness implies that these geodesics segments coincide for arbitrary r and therefore that δ extends to a geodesic ray with the stated property.

<ul><li>If h = hγ, then the geodesic ray δ starting at y satisfies <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \sup d(\gamma (t),\delta (t))<\infty }">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \sup d(\gamma (t),\delta (t))<\infty }</annotation>

</semantics>

</math><img src="./42a13db28b225b03d703c985cb835b2f0db6e357.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:20.979ex; height:2.843ex;" alt="{\displaystyle \sup d(\gamma (t),\delta (t))<\infty }" loading="lazy">. If δ1 is another ray starting at y with <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \sup d(\delta (t),\delta _{1}(t))<\infty }">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \sup d(\delta (t),\delta _{1}(t))<\infty }</annotation>

</semantics>

</math><img src="./17d0cbd77a4958d69e895277173b46055c7d8de1.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:21.803ex; height:2.843ex;" alt="{\displaystyle \sup d(\delta (t),\delta _{1}(t))<\infty }" loading="lazy"> then δ1 = δ.</li></ul>

To prove the first assertion, it is enough to check this for t sufficiently large. In that case γ(t) and δ(t − h(y)) are the projections of x and y onto the closed convex set h ≤ −t. Therefore, d(γ(t),δ(t − h(y))) ≤ d(x,y). Hence d(γ(t),δ(t)) ≤ d(γ(t),δ(t − h(y))) + d(δ(t − h(y)),δ(t)) ≤ d(x,y) + |h(y)|. The second assertion follows because d(δ1(t),δ(t)) is convex and bounded on [0,∞), so, if it vanishes at t = 0, must vanish everywhere.

<ul><li>Suppose that h is a continuous convex function and for each y in X there is a unique geodesic ray δ such that δ(0) = y and δ cuts each closed convex set h ≤ h(y) – r with r > 0 at δ(r), so that h(δ(t)) = h(y) – t; then h is a Busemann function. h − hδ is a constant function.<a href="#cite_note-Bridson_1999_pages=271–272-7">[7]</a></li></ul>

Let Cr be the closed convex set of points z with h(z) ≤ −r. Since X is a Hadamard space for every point y in X there is a unique closest point Pr(y) to y in Cr. It depends continuously on y and if y lies outside Cr, then Pr(y) lies on the hypersurface h(z) = − r—the boundary ∂Cr of Cr—and Pr(y) satisfies the inequality of convex optimisation. Let δ(s) be the geodesic ray starting at y.

Fix x in X. Let γ(s) be the geodesic ray starting at x. Let g(z) = hγ(z), the Busemann function for γ with base point x. In particular g(x) = 0. It suffices to show that g = h – h(x). Now take y with h(x) = h(y) and let δ(t) be the geodesic ray starting at y corresponding to h. Then

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle d(x,y)\geq d(\gamma (t),\delta (t)),\,\,\,d(x,\delta (t))^{2}\geq d(x,\gamma (t))^{2}+d(\gamma (t),\delta (t))^{2},\,\,\,d(y,\gamma (t))^{2}\geq d(y,\delta (t))^{2}+d(\gamma (t),\delta (t))^{2}.}</annotation>

</semantics>

</math>

On the other hand, for any four points a, b, c, d in a Hadamard space, the following quadrilateral inequality of <a href="Yurii_Reshetnyak" title="Yurii Reshetnyak">Reshetnyak</a> holds:

</mrow>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle |d(a,c)^{2}+d(b,d)^{2}-d(a,d)^{2}-d(b,c)^{2}|\leq 2d(a,b)d(c,d).}</annotation>

</semantics>

</math>

Setting a = x, b = y, c = γ(t), d = δ(t), it follows that

</mrow>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

</mrow>

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle |d(y,\gamma (t))^{2}-d(x,\gamma (t))^{2}|\leq 2d(x,y)^{2},}</annotation>

</semantics>

</math>

so that

</mrow>

</mrow>

<mfrac>

<mrow>

<msup>

</mrow>

</msup>

</mrow>

<mrow>

</mrow>

</mfrac>

</mrow>

<mfrac>

<mrow>

<msup>

</mrow>

</msup>

</mrow>

</mfrac>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle |d(y,\gamma (t))-d(x,\gamma (t))|\leq 2{d(x,y)^{2} \over d(y,\gamma (t))+d(x,\gamma (t))}\leq {d(x,y)^{2} \over t}.}</annotation>

</semantics>

</math>

Hence hγ(y) = 0. Similarly hδ(x) = 0. Hence hγ(y) = 0 on the level surface of h containing x. Now for t ≥ 0 and z in X, let αt(z) = γ1(t) the geodesic ray starting at z. Then αs + t = αs ∘ αt and h ∘ αt = h − t. Moreover, by boundedness, d(αt(u),αt(v)) ≤ d(u,v). The flow αs can be used to transport this result to all the level surfaces of h. For general y1, if h(y1) < h(x), take s > 0 such that h(αs(x)) = h(y1) and set x1 = αs(x). Then hγ1(y1) = 0, where γ1(t) = αt(x1) = γ(s + t). But then hγ1 = hγ – s, so that hγ(y1) = s. Hence g(y1) = s = h((αs(x)) – h(x) = h(y1) – h(x), as required. Similarly if h(y1) > h(x), take

s > 0 such that h(αs(y1)) = h(x). Let y = αs(y1). Then hγ(y) = 0, so hγ(y1) = –s. Hence g(y1) = –s = h(y1) – h(x), as required.

Finally there are necessary and sufficient conditions for two geodesics to define the same Busemann function up to constant:

<ul><li>On a Hadamard space, the Busemann functions of two geodesic rays <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \gamma _{1}}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \gamma _{1}}</annotation>

</semantics>

</math><img src="./6c2d6da217f4d6e937887bad1c90b371314830f7.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:2.259ex; height:2.176ex;" alt="{\displaystyle \gamma _{1}}" loading="lazy"> and <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \gamma _{2}}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \gamma _{2}}</annotation>

</semantics>

</math><img src="./482832093b568cdc09c3aeaa2585c5fc49100b63.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:2.259ex; height:2.176ex;" alt="{\displaystyle \gamma _{2}}" loading="lazy"> differ by a constant if and only if <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \sup _{t\geq 0}d(\gamma _{1}(t),\gamma _{2}(t))<\infty }">

</mrow>

</munder>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \sup _{t\geq 0}d(\gamma _{1}(t),\gamma _{2}(t))<\infty }</annotation>

</semantics>

</math><img src="./fd49d5e281008733b7f8b8d6981abdfe0c681db1.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -2.671ex; width:23.185ex; height:4.676ex;" alt="{\displaystyle \sup _{t\geq 0}d(\gamma _{1}(t),\gamma _{2}(t))<\infty }" loading="lazy">.<a href="#cite_note-8">[8]</a></li></ul>

Suppose firstly that γ and δ are two geodesic rays with Busemann functions differing by a constant. Shifting the argument of one of the geodesics by a constant, it may be assumed that Bγ = Bδ = B, say. Let C be the closed convex set on which B(x) ≤ −r. Then B(γ(t)) = Bγ(γ(t)) = −t and similarly B(δ(t)) = − t. Then for s ≤ r, the points γ(s) and δ(s) have closest points γ(r) and δ(r) in C, so that d(γ(r), δ(r)) ≤ d(γ(s), δ(s)). Hence supt ≥ 0 d(γ(t), δ(t)) < ∞.

Now suppose that supt ≥ 0 d(γ1(t), γ2(t)) < ∞. Let δi(t) be the geodesic ray starting at y associated with hγi. Then supt ≥ 0 d(γi(t), δi(t)) < ∞. Hence supt ≥ 0 d(δ1(t), δ2(t)) < ∞. Since δ1 and δ2 both start at y, it follows that δ1(t) ≡ δ2(t). By the previous result hγi and hδi differ by a constant; so hγ1 and hγ2 differ by a constant.

To summarise, the above results give the following characterisation of Busemann functions on a Hadamard space:<a href="#cite_note-Bridson_1999_pages=271–272-7">[7]</a>

THEOREM. On a Hadamard space, the following conditions on a function f are equivalent:

<ul><li>h is a Busemann function.</li>

<li>h is a convex function, Lipschitz with constant 1 and h assumes its minimum on any closed ball centred on y with radius r at a unique point v on the boundary with h(v) = h(y) − r.</li>

<li>h is a continuous convex function and for each y in X there is a unique geodesic ray δ such that δ(0) = y and, for any r > 0, the ray δ cuts each closed convex set h ≤ h(y) – r at δ(r).</li></ul>

<div class="mw-heading mw-heading2"><h2 id="Bordification_of_a_Hadamard_space">Bordification of a Hadamard space</h2></div>

In the previous section it was shown that if X is a Hadamard space and x0 is a fixed point in X then the union of the space of Busemann functions vanishing at x0 and the space of functions hy(x) = d(x,y) − d(x0,y) is closed under taking uniform limits on bounded sets. This result can be formalised in the notion of bordification of X.<a href="#cite_note-9">[9]</a> In this topology, the points xn tend to a geodesic ray γ starting at x0 if and only if d(x0,xn) tends to ∞ and for t > 0 arbitrarily large the sequence obtained by taking the point on each segment [x0,xn] at a distance t from x0 tends to γ(t).

If X is a metric space, Gromov's bordification can be defined as follows. Fix a point x0 in X and let XN = B(x0,N). Let Y = C(X) be the space of Lipschitz continuous functions on X, i.e. those for which | f(x) – f(y) | ≤ A d(x,y) for some constant A > 0. The space Y can be topologised by the seminorms ‖ f ‖N = supXN | f |, the topology of uniform convergence on bounded sets. The seminorms are finite by the Lipschitz conditions. This is the topology induced by the natural map of C(X) into the direct product of the Banach spaces Cb(XN) of continuous bounded functions on XN. It is give by the metric D(f,g) = Σ 2−N ‖ f − g ‖N(1 +‖ f − g ‖N)−1.

The space X is embedded into Y by sending x to the function fx(y) = d(y,x) – d(x0,x). Let X be the closure of X in Y. Then X is metrisable, since Y is, and contains X as an open subset; moreover bordifications arising from different choices of basepoint are naturally homeomorphic. Let h(x) = (d(x,x0) + 1)−1. Then h lies in C0(X). It is non-zero on X and vanishes only at ∞. Hence it extends to a continuous function on X with zero set X \ X. It follows that X \ X is closed in X, as required. To check that X = X(x0) is independent of the basepoint, it suffices to show that k(x) = d(x,x0) − d(x,x1) extends to a continuous function on X. But k(x) = fx(x1), so, for g in X, k(g) = g(x1). Hence the correspondence between the compactifications for x0 and x1 is given by sending g in X(x0) to g + g(x1)1 in X(x1).

When X is a Hadamard space, Gromov's ideal boundary ∂X = X \ X can be realised explicitly as "asymptotic limits" of geodesic rays using Busemann functions. If xn is an unbounded sequence in X with hn(x) = d(x,xn) − d(xn,x0) tending to h in Y, then h vanishes at x0, is convex, Lipschitz with Lipschitz constant 1 and has minimum h(y) − r on any closed ball B(y,r). Hence h is a Busemann function Bγ corresponding to a unique geodesic ray γ starting at x0.

On the other hand, hn tends to Bγ uniformly on bounded sets if and only if d(x0,xn) tends to ∞ and for t > 0 arbitrarily large the sequence obtained by taking the point on each segment [x0,xn] at a distance t from x0 tends to γ(t). For d(x0,xn) ≥ t, let xn(t) be the point in [x0,xn] with d(x0,xn(t)) = t. Suppose first that hn tends to Bγ uniformly on B(x0,R). Then for t ≤ R,

|hn(γ(t)) – Bγ(γ(t))|=d(γ(t),xn) – d(xn,x0) + t. This is a convex function. It vanishes as t = 0 and hence is increasing. So it is maximised at t = R. So for each t, |d(γ(t),xn) – d(xn,x0) – t| tends towards 0. Let a = X0, b = γ(t) and c = xn. Then d(c,a) – d(c,b) is close to d(a,b) with d(c,a) large. Hence in the Euclidean comparison triangle CA - CB is close to AB with CA large. So the angle at A is small. So the point D on AC at the same distance as AB lies close to B. Hence, by the first comparison theorem for geodesic triangles, d(xn(t),γ(t)) is small. Conversely suppose that for fixed t and n sufficiently large d(xn(t),γ(t)) tends to 0. Then from the above Fs(y) = d(y,γ(s)) – s satisfies

</mrow>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mrow>

<mfrac>

<mrow>

<msub>

</mrow>

</msub>

<msup>

</mrow>

</msup>

</mrow>

<mrow>

</mrow>

</mfrac>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle |F_{s}(y)-B_{\gamma }(y)|\leq {d(x_{0},y)^{2} \over 2s},}</annotation>

</semantics>

</math>

so it suffices show that on any bounded set hn(y) = d(y,xn) – d(x0,xn) is uniformly close to Fs(y) for n sufficiently large.<a href="#cite_note-10">[10]</a>

For a fixed ball B(x0,R), fix s so that R2/s ≤ ε. The claim is then an immediate consequence of the inequality for geodesic segments in a Hadamard space, since

</mrow>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mrow>

<mfrac>

<mrow>

<msub>

</mrow>

</msub>

<msup>

</mrow>

</msup>

</mrow>

</mfrac>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle |d(y,x_{n})-d(y,x_{0})-d(y,x_{n}(s))+s|\leq {d(x_{0},y)^{2} \over s}\leq \varepsilon .}</annotation>

</semantics>

</math>

Hence, if y in B(x0,R) and n is sufficiently large that d(xn(s),γ(s)) ≤ ε, then

</mrow>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mrow>

</mrow>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mrow>

</mrow>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mrow>

<msub>

</mrow>

</msub>

</mrow>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle |h_{n}(y)-B_{\gamma }(y)|=|d(y,x_{n})-d(y,x_{0})-B_{\gamma }(y)|\leq |d(y,x_{n})-d(y,x_{0})-d(y,x_{n}(s))+s|+d(x_{n}(s),\gamma (s))+|F_{s}(y)-B_{\gamma }(y)|\leq 3\varepsilon .}</annotation>

</semantics>

</math>

<div class="mw-heading mw-heading2"><h2 id="Busemann_functions_on_a_Hadamard_manifold">Busemann functions on a Hadamard manifold</h2></div>

Suppose that x, y are points in a Hadamard manifold and let γ(s) be the geodesic through x with γ(0) = y. This geodesic cuts the boundary of the closed ball B(y,r) at the two points γ(±r). Thus if d(x,y) > r, there are points u, v with d(y,u) = d(y,v) = r such that | d(x,u) − d(x,v) | = 2r. By continuity this condition persists for Busemann functions:

<ul><li>If h is a Busemann function on a Hadamard manifold, then, given y in X and r > 0, there are unique points u, v with d(y,u) = d(y,v) = r such that h(u) = h(y) + r and h(v) = h(y) − r. For fixed r > 0, the points u and v depend continuously on y.<a href="#cite_note-BGS-3">[3]</a></li></ul>

Taking a sequence tn tending to ∞ and hn = Ftn, there are points un and vn which satisfy these conditions for hn for n sufficiently large. Passing to a subsequence if necessary, it can be assumed that un and vn tend to u and v. By continuity these points satisfy the conditions for h. To prove uniqueness, note that by compactness h assumes its maximum and minimum on B(y,r). The Lipschitz condition shows that the values of h there differ by at most 2r. Hence h is minimized at v and maximized at u. On the other hand, d(u,v) = 2r and for u and v the points v and u are the unique points in B(y,r) maximizing this distance. The Lipschitz condition on h then immediately implies u and v must be the unique points in B(y,r) maximizing and minimizing h. Now suppose that yn tends to y. Then the corresponding points un and vn lie in a closed ball so admit convergent subsequences. But by uniqueness of u and v any such subsequences must tend to u and v, so that un and vn must tend to u and v, establishing continuity.

The above result holds more generally in a Hadamard space.<a href="#cite_note-11">[11]</a>

<ul><li>If h is a Busemann function on a Hadamard manifold, then h is continuously differentiable with ‖ dh(y) ‖ = 1 for all y.<a href="#cite_note-BGS-3">[3]</a></li></ul>

From the previous properties of h, for each y there is a unique geodesic γ(t) parametrised by arclength with γ(0) = y such that h ∘ γ(t) = h(y) + t. It has the property that it cuts ∂B(y,r) at t = ±r: in the previous notation γ(r) = u and γ(–r) = v. The vector field Vh defined by the unit vector <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle {\dot {\gamma }}(0)}">

<mover>

</mover>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle {\dot {\gamma }}(0)}</annotation>

</semantics>

</math><img src="./1479c5439158b0681da11338d0ef23f5506448f6.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:4.234ex; height:2.843ex;" alt="{\displaystyle {\dot {\gamma }}(0)}" loading="lazy"> at y is continuous, because u is a continuous function of y and the map sending (x,v) to (x,expx v) is a diffeomorphism from TX onto X × X by the <a href="Cartan-Hadamard_theorem" class="mw-redirect" title="Cartan-Hadamard theorem">Cartan-Hadamard theorem</a>. Let δ(s) be another geodesic parametrised by arclength through y with δ(0) = y. Then dh ∘ δ (0)/ ds = <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ({\dot {\delta }}(0),{\dot {\gamma }}(0))}">

<mover>

</mover>

</mrow>

<mover>

</mover>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle ({\dot {\delta }}(0),{\dot {\gamma }}(0))}</annotation>

</semantics>

</math><img src="./7b23d7c437401056485ae157d8c0ab4219c7476a.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:11.351ex; height:3.343ex;" alt="{\displaystyle ({\dot {\delta }}(0),{\dot {\gamma }}(0))}" loading="lazy">. Indeed, let H(x) = h(x) − h(y), so that H(y) = 0. Then

</mrow>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle |H(\delta (s))-H(x)|\leq d(\delta (s),x).}</annotation>

</semantics>

</math>

Applying this with x = u and v, it follows that for s > 0

</mrow>

</mrow>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle (r-d(\delta (s),u))/s\leq (h(\delta (s))-h(y))/s\leq (d(\delta (s),v)-r)/s.}</annotation>

</semantics>

</math>

The outer terms tend to <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ({\dot {\delta }}(0),{\dot {\gamma }}(0))}">

<mover>

</mover>

</mrow>

<mover>

</mover>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle ({\dot {\delta }}(0),{\dot {\gamma }}(0))}</annotation>

</semantics>

</math><img src="./7b23d7c437401056485ae157d8c0ab4219c7476a.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:11.351ex; height:3.343ex;" alt="{\displaystyle ({\dot {\delta }}(0),{\dot {\gamma }}(0))}" loading="lazy"> as s tends to 0, so the middle term has the same limit, as claimed. A similar argument applies for s < 0.

The assertion on the outer terms follows from the first variation formula for arclength, but can be deduced directly as follows. Let

<mover>

</mover>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle a={\dot {\delta }}(0)}</annotation>

</semantics>

</math><img src="./5d44726f33b40510fa99dc10f357a52e6a103e39.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:8.602ex; height:3.343ex;" alt="{\displaystyle a={\dot {\delta }}(0)}" loading="lazy"> and <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle b={\dot {\gamma }}(0)}">

<mover>

</mover>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle b={\dot {\gamma }}(0)}</annotation>

</semantics>

</math><img src="./b4cb9c51b4b1868565f710a5dbc22bdec8d55a4e.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:8.33ex; height:2.843ex;" alt="{\displaystyle b={\dot {\gamma }}(0)}" loading="lazy">, both unit vectors. Then for tangent vectors p and q at y in the unit ball<a href="#cite_note-12">[12]</a>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle d(\exp _{y}p,\exp _{y}q)=\|p-q\|+\varepsilon \max \|p\|^{2},\|q\|^{2}}</annotation>

</semantics>

</math>

with ε uniformly bounded. Let s = t3 and r = t2. Then

</mrow>

<msub>

</mrow>

</msub>

<msup>

</mrow>

</msup>

<msub>

</mrow>

</msub>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

</mrow>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

</mrow>

<msup>

</mrow>

</msup>

</mrow>

</mrow>

</mrow>

</mrow>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle (d(\delta (s),v)-r)/s=(d(\exp _{y}(t^{3}a),\exp _{y}(-t^{2}b))-t^{2})/t^{3}=(\|t^{3}a+t^{2}b\|-t^{2})/t^{3}+\varepsilon |t|=(\|ta+b\|-1)/t+\varepsilon |t|.}</annotation>

</semantics>

</math>

The right hand side here tends to (a,b) as t tends to 0 since

<mfrac>

<mrow>

</mrow>

</mfrac>

</mrow>

<msub>

</mrow>

</mrow>

</msub>

<mfrac>

</mfrac>

</mrow>

<mfrac>

<mrow>

</mrow>

</mfrac>

</mrow>

<msup>

</mrow>

</msup>

<msub>

</mrow>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle {d \over dt}\|b+ta\||_{t=0}={1 \over 2}\,{d \over dt}\|b+ta\|^{2}|_{t=0}=(a,b).}</annotation>

</semantics>

</math>

The same method works for the other terms.

Hence it follows that h is a C1 function with dh dual to the vector field Vh, so that ‖ dh(y) ‖ = 1. The vector field Vh is thus the <a href="Gradient_vector_field" class="mw-redirect" title="Gradient vector field">gradient vector field</a> for h. The geodesics through any point are the flow lines for the flow αt for Vh, so that αt is the <a href="Gradient_flow" class="mw-redirect" title="Gradient flow">gradient flow</a> for h.

THEOREM. On a Hadamard manifold X the following conditions on a continuous function h are equivalent:<a href="#cite_note-BGS-3">[3]</a>

<ol><li>h is a Busemann function.</li>

<li>h is a convex, Lipschitz function with constant 1, and for each y in X there are points u± at a distance r from y such that h(u±) = h(y) ± r.</li>

<li>h is a convex C1 function with ‖ dh(x) ‖ ≡ 1.</li></ol>

It has already been proved that (1) implies (2).

The arguments above show <a href="Mutatis_mutandi" class="mw-redirect" title="Mutatis mutandi">mutatis mutandi</a> that (2) implies (3).

It therefore remains to show that (3) implies (1). Fix x in X. Let αt be the gradient flow for h. It follows that h ∘ αt (x) = h(x) + t and that γ(t) = αt(x) is a geodesic through x parametrised by arclength with γ(0) = x. Indeed, if s < t, then

</mrow>

</mrow>

</mrow>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mrow>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mrow>

</mrow>

</msubsup>

<msub>

</mrow>

</msub>

</mrow>

</mrow>

</mrow>

</msubsup>

<msub>

</mrow>

</msub>

</mrow>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle |s-t|=|h(\alpha _{s}(x))-h(\alpha _{t}(x))|\leq d(\alpha _{s}(x),\alpha _{t}(x))\leq \int _{s}^{t}\|d\alpha _{\tau }(x)/d\tau \|\,d\tau =\int _{s}^{t}\|dh(\alpha _{\tau }(x))\|\,d\tau =|s-t|,}</annotation>

</semantics>

</math>

so that d(γ(s),γ(t)) = | s − t |. Let g(y) = hγ(y), the Busemann function for γ with base point x. In particular g(x) = 0. To prove (1), it suffices to show that g = h – h(x)1.

Let C(−r) be the closed convex set of points z with h(z) ≤ −r. Since X is a Hadamard space for every point y in X there is a unique closest point Pr(y) to y in C(-r). It depends continuously on y and if y lies outside C(-r), then Pr(y) lies on the hypersurface h(z) = − r—the boundary ∂C(–r) of C(–r)—and the geodesic from y to Pr(y) is orthogonal to ∂C(–r). In this case the geodesic is just αt(y). Indeed, the fact that αt is the gradient flow of h and the conditions ‖ dh(y) ‖ ≡ 1 imply that the flow lines αt(y) are geodesics parametrised by arclength and cut the level curves of h orthogonally. Taking y with h(y) = h(x) and t > 0,

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msup>

</mrow>

</msup>

<msub>

</mrow>

</msub>

<msup>

</mrow>

</msup>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msup>

</mrow>

</msup>

<msub>

</mrow>

</msub>

<msup>

</mrow>

</msup>

<msub>

</mrow>

</msub>

<msup>

</mrow>

</msup>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle d(x,y)\geq d(\alpha _{t}(x),\alpha _{t}(y)),\,\,\,d(x,\alpha _{t}(y))^{2}\geq d(x,\alpha _{t}(x))^{2}+d(\alpha _{t}(x),\alpha _{t}(y))^{2},\,\,\,d(y,\alpha _{t}(x))^{2}\geq d(y,\alpha _{t}(y))^{2}+d(\alpha _{t}(x),\alpha _{t}(y))^{2}.}</annotation>

</semantics>

</math>

On the other hand, for any four points a, b, c, d in a Hadamard space, the following quadrilateral inequality of <a href="Yurii_Reshetnyak" title="Yurii Reshetnyak">Reshetnyak</a> holds:

</mrow>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle |d(a,c)^{2}+d(b,d)^{2}-d(a,d)^{2}-d(b,d)^{2}|\leq 2d(a,b)d(c,d).}</annotation>

</semantics>

</math>

Setting a = x, b = y, c = αt(x), d = αt(y), it follows that

</mrow>

<msub>

</mrow>

</msub>

<msup>

</mrow>

</msup>

<msub>

</mrow>

</msub>

<msup>

</mrow>

</msup>

</mrow>

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle |d(y,\alpha _{t}(x))^{2}-d(x,\alpha _{t}(x))^{2}|\leq 2d(x,y)^{2},}</annotation>

</semantics>

</math>

so that

</mrow>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mrow>

<mfrac>

<mrow>

<msup>

</mrow>

</msup>

</mrow>

<mrow>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mrow>

</mfrac>

</mrow>

<mfrac>

<mrow>

<msup>

</mrow>

</msup>

</mrow>

</mfrac>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle |d(y,\alpha _{t}(x))-d(x,\alpha _{t}(x))|\leq 2{d(x,y)^{2} \over d(y,\alpha _{t}(x))+d(x,\alpha _{t}(x))}\leq {d(x,y)^{2} \over t}.}</annotation>

</semantics>

</math>

Hence hγ(y) = 0 on the level surface of h containing x. The flow αs can be used to transport this result to all the level surfaces of h. For general y1 take s such that h(αs(x)) = h(y1) and set x1 = αs(x). Then hγ1(y1) = 0, where γ1(t) = αt(x1) = γ(s + t). But then hγ1 = hγ – s, so that hγ(y1) = s. Hence g(y1) = s = h((αs(x)) – h(x) = h(y1) – h(x), as required.

Note that this argument could be shortened using the fact that two Busemann functions hγ and hδ differ by a constant if and only if the corresponding geodesic rays satisfy supt ≥ 0 d(γ(t),δ(t)) < ∞. Indeed, all the geodesics defined by the flow αt satisfy the latter condition, so differ by constants. Since along any of these geodesics h is linear with derivative 1, h must differ from these Busemann functions by constants.

<div class="mw-heading mw-heading2"><h2 id="Compactification_of_a_proper_Hadamard_space">Compactification of a proper Hadamard space</h2></div>

<a href="#CITEREFEberleinO'Neill1973">Eberlein & O'Neill (1973)</a> defined a compactification of a <a href="Hadamard_manifold" title="Hadamard manifold">Hadamard manifold</a> X which uses Busemann functions. Their construction, which can be extended more generally to proper (i.e. locally compact) <a href="Hadamard_space" title="Hadamard space">Hadamard spaces</a>, gives an explicit geometric realisation of a compactification defined by Gromov—by adding an "ideal boundary"—for the more general class of <a href="Proper_metric_space" class="mw-redirect" title="Proper metric space">proper metric spaces</a> X, those for which every closed ball is compact. Note that, since any Cauchy sequence is contained in a closed ball, any proper metric space is automatically complete.<a href="#cite_note-13">[13]</a> The ideal boundary is a special case of the ideal boundary for a metric space. In the case of Hadamard spaces, this agrees with the space of geodesic rays emanating from any fixed point described using Busemann functions in the bordification of the space.

If X is a proper metric space, Gromov's compactification can be defined as follows. Fix a point x0 in X and let XN = B(x0,N). Let Y = C(X) be the space of Lipschitz continuous functions on X, .e. those for which | f(x) – f(y) | ≤ A d(x,y) for some constant A > 0. The space Y can be topologised by the seminorms ‖ f ‖N = supXN | f |, the topology of uniform convergence on compacta. This is the topology induced by the natural map of C(X) into the direct product of the Banach spaces C(XN). It is give by the metric D(f,g) = Σ 2−N ‖ f − g ‖ N(1 + ‖ f − g ‖ N)−1.

The space X is embedded into Y by sending x to the function fx(y) = d(y,x) – d(x0,x). Let X be the closure of X in Y. Then X is compact (metrisable) and contains X as an open subset; moreover compactifications arising from different choices of basepoint are naturally homeomorphic. Compactness follows from the <a href="Arzel%C3%A0%E2%80%93Ascoli_theorem" title="Arzelà–Ascoli theorem">Arzelà–Ascoli theorem</a> since the image in C(XN) is <a href="Equicontinuous" class="mw-redirect" title="Equicontinuous">equicontinuous</a> and uniformly bounded in norm by N. Let xn be a sequence in X ⊂ X tending to y in X \ X. Then all but finitely many terms must lie outside XN since XN is compact, so that any subsequence would converge to a point in XN; so the sequence xn must be unbounded in X. Let h(x) = (d(x,x0) + 1)−1. Then h lies in C0(X). It is non-zero on X and vanishes only at ∞. Hence it extends to a continuous function on X with zero set X \ X. It follows that X \ X is closed in X, as required. To check that the compactification X = X(x0) is independent of the basepoint, it suffices to show that k(x) = d(x,x0) − d(x,x1) extends to a continuous function on X. But k(x) = fx(x1), so, for g in X, k(g) = g(x1). Hence the correspondence between the compactifications for x0 and x1 is given by sending g in X(x0) to g + g(x1)1 in X(x1).

When X is a Hadamard manifold (or more generally a proper Hadamard space), Gromov's ideal boundary ∂X = X \ X can be realised explicitly as "asymptotic limits" of geodesics by using Busemann functions. Fixing a base point x0, there is a unique geodesic γ(t) parametrised by arclength such that γ(0) = x0 and <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle {\dot {\gamma }}(0)}">

<mover>

</mover>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle {\dot {\gamma }}(0)}</annotation>

</semantics>

</math><img src="./1479c5439158b0681da11338d0ef23f5506448f6.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:4.234ex; height:2.843ex;" alt="{\displaystyle {\dot {\gamma }}(0)}" loading="lazy"> is a given unit vector. If Bγ is the corresponding Busemann function, then

Bγ lies in ∂X(x0) and induces a homeomorphism of the unit (n − 1)-sphere onto ∂X(x0), sending <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle {\dot {\gamma }}(0)}">

<mover>

</mover>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle {\dot {\gamma }}(0)}</annotation>

</semantics>

</math><img src="./1479c5439158b0681da11338d0ef23f5506448f6.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:4.234ex; height:2.843ex;" alt="{\displaystyle {\dot {\gamma }}(0)}" loading="lazy"> to Bγ.

<div class="mw-heading mw-heading2"><h2 id="Quasigeodesics_in_the_Poincaré_disk,_CAT(-1)_and_hyperbolic_spaces">Quasigeodesics in the Poincaré disk, CAT(-1) and hyperbolic spaces</h2></div>

<div class="mw-heading mw-heading3"><h3 id="Morse–Mostow_lemma">Morse–Mostow lemma</h3></div>

In the case of spaces of negative curvature, such as the Poincaré disk, CAT(-1) and hyperbolic spaces, there is a metric structure on their Gromov boundary. This structure is preserved by the group of quasi-isometries which carry geodesics rays to quasigeodesic rays. Quasigeodesics were first studied for negatively curved surfaces—in particular the hyperbolic upper halfplane and unit disk—by <a href="Marston_Morse" title="Marston Morse">Morse</a> and generalised to negatively curved <a href="Symmetric_space" title="Symmetric space">symmetric spaces</a> by <a href="George_Mostow" title="George Mostow">Mostow</a>, for his work on the <a href="Mostow_rigidity_theorem" title="Mostow rigidity theorem">rigidity of discrete groups</a>. The basic result is the Morse–Mostow lemma on the stability of geodesics.<a href="#cite_note-Bourdon_1995-14">[14]</a><a href="#cite_note-Buyalo_2007-15">[15]</a><a href="#cite_note-16">[16]</a><a href="#cite_note-17">[17]</a>

By definition a <a href="Quasigeodesic" class="mw-redirect" title="Quasigeodesic">quasigeodesic</a> Γ defined on an interval [a,b] with −∞ ≤ a < b ≤ ∞ is a map Γ(t) into a metric space, not necessarily continuous, for which there are constants λ ≥ 1 and ε > 0 such that for all s and t:

<msup>

</mrow>

</msup>

</mrow>

</mrow>

</mrow>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \lambda ^{-1}|s-t|-\varepsilon \leq d(\Gamma (s),\Gamma (t))\leq \lambda |s-t|+\varepsilon .}</annotation>

</semantics>

</math>

The following result is essentially due to <a href="Marston_Morse" title="Marston Morse">Marston Morse</a> (1924).

Morse's lemma on stability of geodesics. In the hyperbolic disk there is a constant R depending on λ and ε such that any quasigeodesic segment Γ defined on a finite interval [a,b] is within a <a href="Hausdorff_distance" title="Hausdorff distance">Hausdorff distance</a> R of the geodesic segment [Γ(a),Γ(b)].<a href="#cite_note-18">[18]</a><a href="#cite_note-19">[19]</a>

<div class="mw-heading mw-heading3"><h3 id="Classical_proof_for_Poincaré_disk">Classical proof for Poincaré disk</h3></div>

The classical proof of Morse's lemma for the Poincaré unit disk or upper halfplane proceeds more directly by using orthogonal projection onto the geodesic segment.<a href="#cite_note-20">[20]</a><a href="#cite_note-21">[21]</a><a href="#cite_note-22">[22]</a>

<ul><li>It can be assumed that Γ satisfies the stronger "pseudo-geodesic" condition:<a href="#cite_note-23">[23]</a></li></ul>

<msup>

</mrow>

</msup>

</mrow>

</mrow>

</mrow>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \lambda ^{-1}|s-t|-\varepsilon \leq d(\Gamma (s),\Gamma (t))\leq \lambda |s-t|.}</annotation>

</semantics>

</math>

Γ can be replaced by a continuous piecewise geodesic curve Δ with the same endpoints lying at a finite Hausdorff distance from Γ less than c = (2λ2 + 1)ε: break up the interval on which Γ is defined into equal subintervals of length 2λε and take the geodesics between the images under Γ of the endpoints of the subintervals. Since Δ is piecewise geodesic, Δ is Lipschitz continuous with constant λ1, d(Δ(s),Δ(t)) ≤ λ1 | s – t |, where λ1 ≤ λ + ε. The lower bound is automatic at the endpoints of intervals. By construction the other values differ from these by a uniformly bounded depending only on λ and ε; the lower bound inequality holds by increasing ε by adding on twice this uniform bound.

<ul><li>If γ is a piecewise smooth curve segment lying outside an s-neighbourhood of a geodesic line and P is the orthogonal projection onto the geodesic line then:<a href="#cite_note-24">[24]</a></li></ul>

<mfrac>

<mrow>

</mrow>

<mrow>

</mrow>

</mfrac>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \ell (P\circ \gamma )\leq {\ell (\gamma ) \over \cosh s}.}</annotation>

</semantics>

</math>

Applying an isometry in the upper half plane, it may be assumed that the geodesic line is the positive imaginary axis in which case the orthogonal projection onto it is given by P(z) = i | z | and | z | / Im z = cosh d(z,Pz). Hence the hypothesis implies | γ(t) | ≥ cosh(s) Im γ(t), so that

</mrow>

</mrow>

</msubsup>

<mfrac>

<mrow>

</mrow>

</mrow>

<mrow>

</mrow>

</mrow>

</mfrac>

</mrow>

</mrow>

</mrow>

</msubsup>

<mfrac>

<mrow>

</mrow>

</mrow>

<mrow>

</mrow>

</mfrac>

</mrow>

<mfrac>

<mrow>

</mrow>

<mrow>

</mrow>

</mfrac>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \ell (P\circ \gamma )=\int _{a}^{b}{|d\gamma | \over |\gamma |}\leq \int _{a}^{b}{|d\gamma | \over \cosh(s)\,\Im \gamma }={\ell (\gamma ) \over \cosh(s)}.}</annotation>

</semantics>

</math>

<ul><li>There is a constant h > 0 depending only on λ and ε such that Γ[a,b] lies within an h-neighbourhood of the geodesic segment [Γ(a),Γ(b)].<a href="#cite_note-25">[25]</a></li></ul>

Let γ(t) be the geodesic line containing the geodesic segment [Γ(a),Γ(b)]. Then there is a constant h > 0 depending only on λ and ε such that h-neighbourhood Γ[a,b] lies within an h-neighbourhood of γ(R). Indeed for any s > 0, the subset of [a,b] for which Γ(t) lies outside the closure of the s-neighbourhood of γ(R) is open, so a countable union of open intervals (c,d). Then

<msub>

</mrow>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msup>

</mrow>

</msup>

<mrow>

<mrow>

<mfrac>

<msup>

</mrow>

</msup>

<mrow>

</mrow>

</mfrac>

</mrow>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \ell (\Gamma |_{[c,d]})\leq s_{1}\equiv \lambda ^{2}(2s+\varepsilon )\left(1-{\lambda ^{2} \over \cosh(s)}\right),}</annotation>

</semantics>

</math>

<dl><dd>since the left hand side is less than or equal to λ | c – d | and</dd></dl>

<mfrac>

<mrow>

</mrow>

</mrow>

</mfrac>

</mrow>

<msub>

</mrow>

</mrow>

</msub>

<mfrac>

<mrow>

</mrow>

</mrow>

<mrow>

</mrow>

</mfrac>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle {|c-d| \over \lambda }-\varepsilon \leq d(\Gamma (c),\Gamma (d))\leq 2s+d(P\circ \Gamma |_{[c,d]})\leq 2s+{\lambda |c-d| \over \cosh(s)}.}</annotation>

</semantics>

</math>

<dl><dd>Hence every point lies at a distance less than or equal to s + s1 of γ(R). To deduce the assertion, note that the subset of [a,b] for which Γ(t) lies outside the closure of the s-neighbourhood of [Γ(a),Γ(b)] ⊂ γ(R) is open, so a union of intervals (c,d) with Γ(c) and Γ(d) both at a distance s + s1 from either Γ(a) or Γ(b). Then</dd></dl>

<msub>

</mrow>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msup>

</mrow>

</msup>

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \ell (\Gamma |_{[c,d]})\leq s_{2}\equiv \lambda ^{2}(2(s+s_{1})+\varepsilon ),}</annotation>

</semantics>

</math>

<dl><dd>since</dd></dl>

<mfrac>

<mrow>

</mrow>

</mrow>

</mfrac>

</mrow>

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle {|c-d| \over \lambda }-\varepsilon \leq d(\Gamma (c),\Gamma (d))\leq 2(s+s_{1}).}</annotation>

</semantics>

</math>

<dl><dd>Hence the assertion follows taking any h greater than s +s1 + s2.</dd></dl>

<ul><li>There is a constant h > 0 depending only on λ and ε such that the geodesic segment [Γ(a),Γ(b)] lies within an h-neighbourhood of Γ[a,b].<a href="#cite_note-26">[26]</a></li></ul>

Every point of Γ[a,b] lies within a distance h of [Γ(a),Γ(b)]. Thus orthogonal projection P carries each point of Γ[a,b] onto a point in the closed convex set [Γ(a),Γ(b)] at a distance less than h. Since P is continuous and Γ[a,b] connected, the map P must be onto since the image contains the endpoints of [Γ(a),Γ(b)]. But then every point of [Γ(a),Γ(b)] is within a distance h of a point of Γ[a,b].

<div class="mw-heading mw-heading3"><h3 id="Gromov's_proof_for_Poincaré_disk">Gromov's proof for Poincaré disk</h3></div>

The generalisation of Morse's lemma to CAT(-1) spaces is often referred to as the Morse–Mostow lemma and can be proved by a straightforward generalisation of the classical proof. There is also a generalisation for the more general class of <a href="Hyperbolic_metric_space" title="Hyperbolic metric space">hyperbolic metric spaces</a> due to Gromov. Gromov's proof is given below for the Poincaré unit disk; the properties of hyperbolic metric spaces are developed in the course of the proof, so that it applies <a href="Mutatis_mutandi" class="mw-redirect" title="Mutatis mutandi">mutatis mutandi</a> to CAT(-1) or hyperbolic metric spaces.<a href="#cite_note-Bourdon_1995-14">[14]</a><a href="#cite_note-Buyalo_2007-15">[15]</a>

Since this is a large-scale phenomenon, it is enough to check that any maps Δ from {0, 1, 2, ..., N} for any N > 0 to the disk satisfying the inequalities is within a Hausdorff distance R1 of the geodesic segment [Δ(0),Δ(N)]. For then translating it may be assumed without loss of generality Γ is defined on [0,r] with r > 1 and then, taking N = [r] (the integer part of r), the result can be applied to Δ defined by Δ(i) = Γ(i). The Hausdorff distance between the images of Γ and Δ is evidently bounded by a constant R2 depending only on λ and ε.

<dl><dd>Now the <a href="Incircle" class="mw-redirect" title="Incircle">incircle</a> of a geodesic triangle has diameter less than δ where δ = 2 log 3; indeed it is strictly maximised by that of an ideal triangle where it equals 2 log 3. In particular, since the incircle breaks the triangle breaks the triangle into three isosceles triangles with the third side opposite the vertex of the original triangle having length less than δ, it follows that every side of a geodesic triangle is contained in a δ-neighbourhood of the other two sides. A simple induction argument shows that a geodesic polygon with 2k + 2 vertices for k ≥ 0 has each side within a (k + 1)δ neighbourhood of the other sides (such a polygon is made by combining two geodesic polygons with 2k−1 + 1 sides along a common side). Hence if M ≤ 2k + 2, the same estimate holds for a polygon with M sides.</dd></dl>

<dl><dd>For yi = Δ(i) let f(x) = min d(x,yi), the largest radius for a closed ball centred on x which contains no yi in its interior. This is a continuous function non-zero on [Δ(0),Δ(N)] so attains its maximum h at some point x in this segment. Then [Δ(0),Δ(N)] lies within an h1-neighbourhood of the image of Δ for any h1 > h. It therefore suffices to find an upper bound for h independent of N.</dd></dl>

<dl><dd>Choose y and z in the segment [Δ(0),Δ(N)] before and after x with d(x,y) = 2h and d(x,z) = 2h (or an endpoint if it within a distance of less than 2h from x). Then there are i, j with d(y,Δ(i)), d(z,Δ(j)) ≤ h. Hence d(Δ(i),Δ(j)) ≤ 6h, so that | i − j | ≤ 6λh + λε. By the triangle inequality all points on the segments [y,Δ(i)] and [z,Δ(j)] are at a distance ≥ h from x. Thus there is a finite sequence of points starting at y and ending at z, lying first on the segment [y,Δ(i)], then proceeding through the points Δ(i), Δ(i+1), ..., Δ(j), before taking the segment [Δ(j),z]. The successive points Δ(i), Δ(i+1), ..., Δ(j) are separated by a distance no greater than λ + ε and successive points on the geodesic segments can also be chosen to satisfy this condition. The minimum number K of points in such a sequence satisfies K ≤ | i - j | + 3 + 2(λ + ε)–1h. These points form a geodesic polygon, with [y,z] as one of the sides. Take L = [h/δ], so that the (L − 1)δ-neighbourhood of [y,z] does not contain all the other sides of the polygon. Hence, from the result above, it follows that K > 2L − 1 + 2. Hence</dd></dl>

<math display="block" xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle 3+2(\lambda +\varepsilon )^{-1}h+6\lambda h+\varepsilon >2^{h/\delta }+2.}">

<msup>

</mrow>

</msup>

<msup>

</mrow>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle 3+2(\lambda +\varepsilon )^{-1}h+6\lambda h+\varepsilon >2^{h/\delta }+2.}</annotation>

</semantics>

</math>

<dl><dd>This inequality implies that h is uniformly bounded, independently of N, as claimed.</dd></dl>

<dl><dd>If all points Δ(i) lie within h1 of the [Δ(0),Δ(N)], the result follows. Otherwise the points which do not fall into maximal subsets S = {r, ..., s} with r < s. Thus points in [Δ(0),Δ(N)] have a point Δ(i) with i in the complement of S within a distance of h1. But the complement of S = S1 ∐ S2, a disjoint union with S1 = {0, ..., r − 1} and S2 = {s + 1, ..., N}. <a href="Connected_space" title="Connected space">Connectivity</a> of [Δ(0),Δ(N)] implies there is a point x in the segment which is within a distance h1 of points Δ(i) and Δ(j) with i < r and j > s. But then d(Δ(i),Δ(j)) < 2 h1, so | i − j | ≤ 2λh1 + λε. Hence the points Δ(k) for k in S lie within a distance from [Δ(0),Δ(N)] of less than h1 + λ | i − j | + ε ≤ h1 + λ (2λh1 + λε) + ε ≡ h2.</dd></dl>

<div class="mw-heading mw-heading3"><h3 id="Extension_to_quasigeodesic_rays_and_lines">Extension to quasigeodesic rays and lines</h3></div>

Recall that in a Hadamard space if [a1,b1] and [a2,b2] are two geodesic segments and the intermediate points c1(t) and c2(t) divide them in the ratio t:(1 – t), then d(c1(t),c2(t)) is a convex function of t. In particular if Γ1(t) and Γ2(t) are geodesic segments of unit speed defined on [0,R] starting at the same point then

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<mfrac>

</mfrac>

</mrow>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle d(\Gamma _{1}(t),\Gamma _{2}(t))\leq {t \over R}d(\Gamma _{1}(R),\Gamma _{2}(R)).}</annotation>

</semantics>

</math>

In particular this implies the following:

<ul><li>In a CAT(–1) space X, there is a constant h > 0 depending only on λ and ε such that any quasi-geodesic ray is within a bounded Hausdorff distance h of a geodesic ray. A similar result holds for quasigeodesic and geodesic lines.</li></ul>

If Γ(t) is a geodesic say with constant λ and ε, let ΓN(t) be the unit speed geodesic for the segment [Γ(0),Γ(N)]. The estimate above shows that for fixed R > 0 and N sufficiently large, (ΓN) is a Cauchy sequence in C([0,R],X) with the uniform metric. Thus ΓN tends to a geodesic ray γ uniformly on compacta the bound on the Hausdorff distances between Γ and the segments ΓN applies also to the limiting geodesic γ. The assertion for quasigeodesic lines follows by taking ΓN corresponding to the geodesic segment [Γ(–N),Γ(N)].

<div class="mw-heading mw-heading2"><h2 id="Efremovich–Tikhomirova_theorem">Efremovich–Tikhomirova theorem</h2></div>

Before discussing CAT(-1) spaces, this section will describe the Efremovich–Tikhomirova theorem for the unit disk D with the Poincaré metric. It asserts that quasi-isometries of D extend to quasi-Möbius homeomorphisms of the unit disk with the Euclidean metric. The theorem forms the prototype for the more general theory of CAT(-1) spaces. Their original theorem was proved in a slightly less general and less precise form in <a href="#CITEREFEfremovichTikhomirova1964">Efremovich & Tikhomirova (1964)</a> and applied to bi-Lipschitz homeomorphisms of the unit disk for the Poincaré metric;<a href="#cite_note-27">[27]</a> earlier, in the posthumous paper <a href="#CITEREFMori1957">Mori (1957)</a>, the Japanese mathematician Akira Mori had proved a related result within <a href="Teichm%C3%BCller_theory" class="mw-redirect" title="Teichmüller theory">Teichmüller theory</a> assuring that every <a href="Quasiconformal_mapping" title="Quasiconformal mapping">quasiconformal homeomorphism</a> of the disk is <a href="H%C3%B6lder_continuous" class="mw-redirect" title="Hölder continuous">Hölder continuous</a> and therefore extends continuously to a homeomorphism of the unit circle (it is known that this extension is quasi-Möbius).<a href="#cite_note-28">[28]</a>

<div class="mw-heading mw-heading3"><h3 id="Extension_of_quasi-isometries_to_boundary">Extension of quasi-isometries to boundary</h3></div>

If X is the Poincaré unit disk, or more generally a CAT(-1) space, the Morse lemma on stability of quasigeodesics implies that every quasi-isometry of X extends uniquely to the boundary. By definition two self-mappings f, g of X are quasi-equivalent if supX d(f(x),g(x)) < ∞, so that corresponding points are at a uniformly bounded distance of each other. A quasi-isometry f1 of X is a self-mapping of X, not necessarily continuous, which has a quasi-inverse f2 such that f1 ∘ f2 and f2 ∘ f1 are quasi-equivalent to the appropriate identity maps and such that there are constants λ ≥ 1 and ε > 0 such that for all x, y in X and both mappings

<msup>

</mrow>

</msup>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \lambda ^{-1}d(x,y)-\varepsilon \leq d(f_{k}(x),f_{k}(y))\leq \lambda d(x,y)+\varepsilon .}</annotation>

</semantics>

</math>

Note that quasi-inverses are unique up to quasi-equivalence; that equivalent definition could be given using possibly different right and left-quasi inverses, but they would necessarily be quasi-equivalent; that quasi-isometries are closed under composition which up to quasi-equivalence depends only the quasi-equivalence classes; and that, modulo quasi-equivalence, the quasi-isometries form a group.<a href="#cite_note-29">[29]</a>

Fixing a point x in X, given a geodesic ray γ starting at x, the image f ∘ γ under a quasi-isometry f is a quasi-geodesic ray. By the Morse-Mostow lemma it is within a bounded distance of a unique geodesic ray δ starting at x. This defines a mapping ∂f on the boundary ∂X of X, independent of the quasi-equivalence class of f, such that ∂(f ∘ g) = ∂f ∘ ∂g. Thus there is a homomorphism of the group of quasi-isometries into the group of self-mappings of ∂X.

To check that ∂f is continuous, note that if γ1 and γ2 are geodesic rays that are uniformly close on [0,R], within a distance η, then f ∘ γ1 and f ∘ γ2 lie within a distance λη + ε on [0,R], so that δ1 and δ2 lie within a distance λη + ε + 2h(λ,ε); hence on a smaller interval [0,r], δ1 and δ2 lie within a distance (r/R)⋅[λη + ε + 2h(λ,ε)] by convexity.<a href="#cite_note-30">[30]</a>

On CAT(-1) spaces, a finer version of continuity asserts that ∂f is a quasi-Möbius mapping with respect to a natural class of metric on ∂X, the "visual metrics" generalising the Euclidean metric on the unit circle and its transforms under the Möbius group. These visual metrics can be defined in terms of Busemann functions.<a href="#cite_note-31">[31]</a>

In the case of the unit disk, Teichmüller theory implies that the homomorphism carries quasiconformal homeomorphisms of the disk onto the group of quasi-Möbius homeomorphisms of the circle (using for example the Ahlfors–Beurling or <a href="Douady%E2%80%93Earle_extension" title="Douady–Earle extension">Douady–Earle extension</a>): it follows that the homomorphism from the quasi-isometry group into the quasi-Möbius group is surjective.

In the other direction, it is straightforward to prove that the homomorphism is injective.<a href="#cite_note-32">[32]</a> Suppose that f is a quasi-isometry of the unit disk such that ∂f is the identity. The assumption and the Morse lemma implies that if γ(R) is a geodesic line, then f(γ(R)) lies in an h-neighbourhood of γ(R). Now take a second geodesic line δ such that δ and γ intersect orthogonally at a given point in a. Then f(a) lies in the intersection of h-neighbourhoods of δ and γ. Applying a Möbius transformation, it can be assumed that a is at the origin of the unit disk and the geodesics are the real and imaginary axes. By convexity, the h-neighbourhoods of these axes intersect in a 3h-neighbourhood of the origin: if z lies in both neighbourhoods, let x and y be the orthogonal projections of z onto the x- and y-axes; then d(z,x) ≤ h so taking projections onto the y-axis, d(0,y) ≤ h; hence d(z,0) ≤ d(z,y) + d(y,0) ≤ 2h. Hence d(a,f(a)) ≤ 2h, so that f is quasi-equivalent to the identity, as claimed.

<div class="mw-heading mw-heading3"><h3 id="Cross_ratio_and_distance_between_non-intersecting_geodesic_lines">Cross ratio and distance between non-intersecting geodesic lines</h3></div>

Given two distinct points z, w on the unit circle or real axis there is a unique hyperbolic geodesic [z,w] joining them. It is given by the circle (or straight line) which cuts the unit circle unit circle or real axis orthogonally at those two points. Given four distinct points a, b, c, d in the extended complex plane their <a href="Cross_ratio" class="mw-redirect" title="Cross ratio">cross ratio</a> is defined by

<mfrac>

<mrow>

</mrow>

<mrow>

</mrow>

</mfrac>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle (a,b;c,d)={(a-c)(b-d) \over (a-d)(b-c)}.}</annotation>

</semantics>

</math>

If g is a complex <a href="M%C3%B6bius_transformation" title="Möbius transformation">Möbius transformation</a> then it leaves the cross ratio invariant: (g(a),g(b);g(c),g(d)) = (a,b:c,d). Since the Möbius group acts simply transitively on triples of points, the cross ratio can alternatively be described as the complex number z in C\{0,1} such that g(a) = 0, g(b) = 1, g(c) = λ, g(d) = ∞ for a Möbius transformation g.

Since a, b, c and d all appear in the numerator defining the cross ratio, to understand the behaviour of the cross ratio under permutations of a, b, c and d, it suffices to consider permutations that fix d, so only permute a, b and c. The cross ratio transforms according to the <a href="Anharmonic_group" class="mw-redirect" title="Anharmonic group">anharmonic group</a> of order 6 generated by the Möbius transformations sending λ to 1 – λ and λ−1. The other three transformations send λ to 1 – λ−1, to λ(λ – 1)−1 and to (1 – λ)−1.<a href="#cite_note-33">[33]</a>

Now let a, b, c, d be points on the unit circle or real axis in that order. Then the geodesics [a,b] and [c,d] do not intersect and the distance between these geodesics is well defined: there is a unique geodesic line cutting these two geodesics orthogonally and the distance is given by the length of the geodesic segment between them. It is evidently invariant under real Möbius transformations. To compare the cross ratio and the distance between geodesics, Möbius invariance allows the calculation to be reduced to a symmetric configuration. For 0 < r < R, take a = –R, b = −r, c = r, d = R. Then

λ = (a,b;c,d) = (R + r)2/4rR = (t + 1)2/4t where t = R/r > 1. On the other hand, the geodesics [a,d] and [b,c] are the semicircles in the upper half plane of radius r and R. The geodesic which cuts them orthogonally is the positive imaginary axis, so the distance between them is the hyperbolic distance between ir and iR, d(ir,iR) = log R/r = log t. Let s = log t, then λ = cosh2(s/2), so that there is a constant C > 0 such that, if (a,b;c,d) > 1, then

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle d([a,d];[b,c])-C\leq \log(a,b;c,d)\leq d([a,d];[b,c])+C,}</annotation>

</semantics>

</math>

since log[cosh(x)/expx)] = log (1 + exp(–2x))/2 is bounded above and below in x ≥ 0. Note that a, b, c, d are in order around the unit circle if and only if (a,b;c,d) > 1.

A more general and precise geometric interpretation of the cross ratio can be given using projections of ideal points on to a geodesic line; it does not depend on the order of the points on the circle and therefore whether or not geodesic lines intersect.<a href="#cite_note-34">[34]</a>

<ul><li>If p and q are the feet of the perpendiculars from c and d to the geodesic line ab, then d(p,q) = | log | (a,b;c,d) ||.</li></ul>

Since both sides are invariant under Möbius transformations, it suffices to check this in the case that a = 0, b = ∞, c = x and d = 1. In this case the geodesic line is the positive imaginary axis, right hand side equals | log | x ||, p = | x | i and q = i. So the left hand side equals | log | x ||. Note that p and q are also the points where the incircles of the ideal triangles abc and abd touch ab.

<div class="mw-heading mw-heading3"><h3 id="Proof_of_theorem">Proof of theorem</h3></div>

A homeomorphism F of the circle is <a href="Quasisymmetric_map" title="Quasisymmetric map">quasisymmetric</a> if there are constants a, b > 0 such that

<mfrac>

<mrow>

</mrow>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mrow>

<mrow>

</mrow>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mrow>

</mfrac>

</mrow>

<mfrac>

<mrow>

</mrow>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msup>

</mrow>

</mrow>

</msup>

</mrow>

<mrow>

</mrow>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msup>

</mrow>

</mrow>

</msup>

</mrow>

</mfrac>

</mrow>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \displaystyle {{|F(z_{1})-F(z_{2})| \over |F(z_{1})-F(z_{3})|}\leq a{|z_{1}-z_{2}|^{b} \over |z_{1}-z_{3}|^{b}}.}}</annotation>

</semantics>

</math>

It is quasi-Möbius is there are constants c, d > 0 such that

</mrow>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mrow>

</mrow>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msup>

</mrow>

</mrow>

</msup>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \displaystyle {|(F(z_{1}),F(z_{2});F(z_{3}),F(z_{4}))|\leq c|(z_{1},z_{2};z_{3},z_{4})|^{d},}}</annotation>

</semantics>

</math>

where

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<mfrac>

<mrow>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mrow>

<mrow>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mrow>

</mfrac>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \displaystyle {(z_{1},z_{2};z_{3},z_{4})={(z_{1}-z_{3})(z_{2}-z_{4}) \over (z_{2}-z_{3})(z_{1}-z_{4})}}}</annotation>

</semantics>

</math>

denotes the <a href="Cross-ratio" title="Cross-ratio">cross-ratio</a>.

It is immediate that quasisymmetric and quasi-Möbius homeomorphisms are closed under the operations of inversion and composition.

If F is quasisymmetric then it is also quasi-Möbius, with c = a2 and d = b: this follows by multiplying the first inequality for (z1,z3,z4) and (z2,z4,z3). Conversely any quasi-Möbius homeomorphism F is quasisymmetric. To see this, it can be first be checked that F (and hence F−1) is <a href="H%C3%B6lder_continuous" class="mw-redirect" title="Hölder continuous">Hölder continuous</a>. Let S be the set of cube roots of unity, so that if a ≠ b in S, then | a − b | = 2 sin π/3 = √3. To prove a Hölder estimate, it can be assumed that x – y is uniformly small. Then both x and y are greater than a fixed distance away from a, b in S with a ≠ b, so the estimate follows by applying the quasi-Möbius inequality to x, a, y, b. To verify that F is quasisymmetric, it suffices to find a uniform upper bound for | F(x) − F(y) | / | F(x) − F(z) | in the case of a triple with | x − z | = | x − y |, uniformly small. In this case there is a point w at a distance greater than 1 from x, y and z. Applying the quasi-Möbius inequality to x, w, y and z yields the required upper bound. To summarise:

<ul><li>A homeomorphism of the circle is quasi-Möbius if and only if it is quasisymmetric. In this case it and its inverse are Hölder continuous. The quasi-Möbius homeomorphisms form a group under composition.<a href="#cite_note-35">[35]</a></li></ul>

To prove the theorem it suffices to prove that if F = ∂f then there are constants A, B > 0 such that for a, b, c, d distinct points on the unit circle<a href="#cite_note-36">[36]</a>

</mrow>

</mrow>

</mrow>

<msup>

</mrow>

</mrow>

</msup>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \displaystyle {|(F(a),F(b);F(c),F(d))|\leq A|(a,b;c,d)|^{B}.}}</annotation>

</semantics>

</math>

It has already been checked that F (and is inverse) are continuous. Composing f, and hence F, with complex conjugation if necessary, it can further be assumed that F preserves the orientation of the circle. In this case, if a,b, c,d are in order on the circle, so too are there images under F; hence both (a,b;c,d) and (F(a),F(b);F(c),F(d)) are real and greater than one. In this case

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle (F(a),F(b);F(c),F(d))\leq A(a,b;c,d)^{B}.}</annotation>

</semantics>

</math>

To prove this, it suffices to show that log (F(a),F(b);F(c),F(d)) ≤ B log (a,b;c,d) + C. From the previous section it suffices show d([F(a),F(b)],[F(c),F(d)]) ≤ P d([a,b],[c,d]) + Q. This follows from the fact that the images under f of [a,b] and [c,d] lie within h-neighbourhoods of [F(a),F(b)] and [F(c),F(d)]; the minimal distance can be estimated using the quasi-isometry constants for f applied to the points on [a,b] and [c,d]

realising d([a,b],[c,d]).

Adjusting A and B if necessary, the inequality above applies also to F−1. Replacing a, b, c and d by their images under F, it follows that

<msup>

</mrow>

</msup>

</mrow>

<msup>

</mrow>

</mrow>

</msup>

</mrow>

</mrow>

</mrow>

<msup>

</mrow>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle A^{-1}|(a,b;c,d)|^{-B}\leq |(F(a),F(b);F(c),F(d))|\leq A|(a,b;c,d)|^{B}}</annotation>

</semantics>

</math>

if a, b, c and d are in order on the unit circle. Hence the same inequalities are valid for the three cyclic of the quadruple a, b, c, d. If a and b are switched then the cross ratios are sent to their inverses, so lie between 0 and 1; similarly if c and d are switched. If both pairs are switched, the cross ratio remains unaltered. Hence the inequalities are also valid in this case. Finally if b and c are interchanged, the cross ratio changes from λ to λ–1

(λ – 1) = 1 – λ–1, which lies between 0 and 1. Hence again the same inequalities are valid. It is easy to check that using these transformations the inequalities are valid for all possible permutations of a, b, c and d, so that F and its inverse are quasi-Möbius homeomorphisms.

<div class="mw-heading mw-heading2"><h2 id="Busemann_functions_and_visual_metrics_for_CAT(-1)_spaces">Busemann functions and visual metrics for CAT(-1) spaces</h2></div>

Busemann functions can be used to determine special visual metrics on the class of CAT(-1) spaces. These are complete geodesic metric spaces in which the distances between points on the boundary of a geodesic triangle are less than or equal to the comparison triangle in the hyperbolic upper half plane or equivalently the unit disk with the Poincaré metric. In the case of the unit disk the chordal metric can be recovered directly using Busemann functions Bγ and the special theory for the disk generalises completely to any proper CAT(-1) space X. The hyperbolic upper half plane is a CAT(0) space, as lengths in a hyperbolic geodesic triangle are less than lengths in the Euclidean comparison triangle: in particular a CAT(-1) space is a CAT(0) space, so the theory of Busemann functions and the Gromov boundary applies. From the theory of the hyperbolic disk, it follows in particular that every geodesic ray in a CAT(-1) space extends to a geodesic line and given two points of the boundary there is a unique geodesic γ such that has these points as the limits γ(±∞). The theory applies equally well to any CAT(−κ) space with κ > 0 since these arise by scaling the metric on a CAT(-1) space by κ−1/2. On the hyperbolic unit disk D quasi-isometries of D induce quasi-Möbius homeomorphisms of the boundary in a functorial way. There is a more general theory of Gromov hyperbolic spaces, a similar statement holds, but with less precise control on the homeomorphisms of the boundary.<a href="#cite_note-Bourdon_1995-14">[14]</a><a href="#cite_note-Buyalo_2007-15">[15]</a>

<div class="mw-heading mw-heading3"><h3 id="Example:_Poincaré_disk_2">Example: Poincaré disk</h3></div>

<div class="mw-heading mw-heading2"><h2 id="Applications_in_percolation_theory">Applications in percolation theory</h2></div>

/* start https://en.wikipedia.org/ */

.mw-parser-output .hatnote{font-style:italic}.mw-parser-output div.hatnote{padding-left:1.6em;margin-bottom:0.5em}.mw-parser-output .hatnote i{font-style:normal}.mw-parser-output .hatnote+link+.hatnote{margin-top:-0.5em}@media print{body.ns-0 .mw-parser-output .hatnote{display:none!important}}

/* end https://en.wikipedia.org/ */

</style><div role="note" class="hatnote navigation-not-searchable">Further information: <a href="Percolation_theory" title="Percolation theory">percolation theory</a></div>

More recently Busemann functions have been used by <a href="Probability_theory" title="Probability theory">probabilists</a> to study asymptotic properties in models of <a href="First_passage_percolation" title="First passage percolation">first-passage percolation</a><a href="#cite_note-37">[37]</a><a href="#cite_note-38">[38]</a> and directed last-passage percolation.<a href="#cite_note-39">[39]</a>

<div class="mw-heading mw-heading2"><h2 id="Notes">Notes</h2></div>

/* start https://en.wikipedia.org/ */

.mw-parser-output .reflist{margin-bottom:0.5em;list-style-type:decimal}@media screen{.mw-parser-output .reflist{font-size:90%}}.mw-parser-output .reflist .references{font-size:100%;margin-bottom:0;list-style-type:inherit}.mw-parser-output .reflist-columns-2{column-width:30em}.mw-parser-output .reflist-columns-3{column-width:25em}.mw-parser-output .reflist-columns{margin-top:0.3em}.mw-parser-output .reflist-columns ol{margin-top:0}.mw-parser-output .reflist-columns li{page-break-inside:avoid;break-inside:avoid-column}.mw-parser-output .reflist-upper-alpha{list-style-type:upper-alpha}.mw-parser-output .reflist-upper-roman{list-style-type:upper-roman}.mw-parser-output .reflist-lower-alpha{list-style-type:lower-alpha}.mw-parser-output .reflist-lower-greek{list-style-type:lower-greek}.mw-parser-output .reflist-lower-roman{list-style-type:lower-roman}

/* end https://en.wikipedia.org/ */

</style><div class="reflist reflist-columns references-column-width" style="column-width: 40em;">

<li id="cite_note-1"><a href="#cite_ref-1">^</a> <a href="#CITEREFBusemann1955">Busemann 1955</a>, p. 131

</li>

<li id="cite_note-2"><a href="#cite_ref-2">^</a> <a href="#CITEREFBridsonHaefliger1999">Bridson & Haefliger 1999</a>, p. 273

</li>

<li id="cite_note-BGS-3">^ <a href="#cite_ref-BGS_3-0">a</a> <a href="#cite_ref-BGS_3-1">b</a> <a href="#cite_ref-BGS_3-2">c</a> <a href="#cite_ref-BGS_3-3">d</a> <a href="#CITEREFBallmannGromovSchroeder1985">Ballmann, Gromov & Schroeder 1985</a>

</li>

<li id="cite_note-4"><a href="#cite_ref-4">^</a> <a href="#CITEREFBridsonHaefliger1999">Bridson & Haefliger 1999</a>, pp. 268–269

</li>

<li id="cite_note-5"><a href="#cite_ref-5">^</a> <a href="#CITEREFLurie2010">Lurie 2010</a>, p. 13

</li>

<li id="cite_note-6"><a href="#cite_ref-6">^</a> <a href="#CITEREFBridsonHaefliger1999">Bridson & Haefliger 1999</a>, pp. 271–272

</li>

<li id="cite_note-Bridson_1999_pages=271–272-7">^ <a href="#cite_ref-Bridson_1999_pages=271–272_7-0">a</a> <a href="#cite_ref-Bridson_1999_pages=271–272_7-1">b</a> <a href="#cite_ref-Bridson_1999_pages=271–272_7-2">c</a> <a href="#CITEREFBridsonHaefliger1999">Bridson & Haefliger 1999</a>, pp. 271–272

</li>

<li id="cite_note-8"><a href="#cite_ref-8">^</a> <a href="#CITEREFDal'boPeignéSambusetti2012">Dal'bo, Peigné & Sambusetti 2012</a>, pp. 94–96

</li>

<li id="cite_note-9"><a href="#cite_ref-9">^</a> <a href="#CITEREFBridsonHaefliger1999">Bridson & Haefliger 1999</a>, pp. 260–276

</li>

<li id="cite_note-10"><a href="#cite_ref-10">^</a> <a href="#CITEREFBallmann1995">Ballmann 1995</a>, pp. 27–30

</li>

<li id="cite_note-11"><a href="#cite_ref-11">^</a> <a href="#CITEREFBridsonHaefliger1999">Bridson & Haefliger 1999</a>, pp. 271–272

</li>

<li id="cite_note-12"><a href="#cite_ref-12">^</a> In <a href="Geodesic_normal_coordinates" class="mw-redirect" title="Geodesic normal coordinates">geodesic normal coordinates</a>, the metric g(x) = I + ε ‖ x ‖. By geodesic convexity, a geodesic from p to q lies in the ball of radius r = max ‖ p ‖, ‖ q ‖. The straight line segment gives an upper estimate for d(p,q) of the stated form. To obtain a similar lower estimate, observe that if c(t) is a smooth path from p to q, then L(c) ≥ (1 − ε r) ⋅ ∫ ‖ c ‖ dt ≥ (1 − ε r) ⋅ ‖ p − q ‖. (Note that these inequalities can be improved using the sharper estimate g(x) = I + ε ‖x‖2).

</li>

<li id="cite_note-13"><a href="#cite_ref-13">^</a> Note that a metric space X which is complete and locally compact need not be proper, for example R with the metric d(x,y) = | x – y | /(1 + | x – y |). On the other hand, by the <a href="Hopf%E2%80%93Rinow_theorem" title="Hopf–Rinow theorem">Hopf–Rinow theorem</a> for metric spaces, if X is complete, locally compact and geodesic—every two points x and y are joined by a geodesic parametrised by arclength—then X is proper (see <a href="#CITEREFBridsonHaefliger1999">Bridson & Haefliger 1999</a>, pp. 35–36). Indeed if not, there is a point x in X and a closed ball K = B(x,r) maximal subject to being compact; then, since by hypothesis B(x,R) is non-compact for each R > r, a diagonal argument shows that there is a sequence (xn) with d(x,xn) decreasing to r but with no convergent subsequence; on the other hand taking yn on a geodesic joining x and xn, with d(x,yn) = r, compactness of K implies (yn), and hence (xn), has a convergent subsequence, a contradiction.

</li>

<li id="cite_note-Bourdon_1995-14">^ <a href="#cite_ref-Bourdon_1995_14-0">a</a> <a href="#cite_ref-Bourdon_1995_14-1">b</a> <a href="#cite_ref-Bourdon_1995_14-2">c</a> <a href="#CITEREFBourdon1995">Bourdon 1995</a>

</li>

<li id="cite_note-Buyalo_2007-15">^ <a href="#cite_ref-Buyalo_2007_15-0">a</a> <a href="#cite_ref-Buyalo_2007_15-1">b</a> <a href="#cite_ref-Buyalo_2007_15-2">c</a> <a href="#CITEREFBuyaloSchroeder2007">Buyalo & Schroeder 2007</a>

</li>

<li id="cite_note-16"><a href="#cite_ref-16">^</a> <a href="#CITEREFMostow1973">Mostow 1973</a>

</li>

</li>

<li id="cite_note-18"><a href="#cite_ref-18">^</a> <a href="#CITEREFBuyaloSchroeder2007">Buyalo & Schroeder 2007</a>, pp. 1–6

</li>

<li id="cite_note-19"><a href="#cite_ref-19">^</a> <a href="#CITEREFBridsonHaefliger1999">Bridson & Haefliger 1999</a>, pp. 399–405

</li>

<li id="cite_note-20"><a href="#cite_ref-20">^</a> <a href="#CITEREFKapovich2001">Kapovich 2001</a>, pp. 51–52

</li>

<li id="cite_note-21"><a href="#cite_ref-21">^</a> <a href="#CITEREFMorse1924">Morse 1924</a>

</li>

<li id="cite_note-22"><a href="#cite_ref-22">^</a> <a href="#CITEREFRatcliffe2006">Ratcliffe 2006</a>, pp. 580–599

</li>

<li id="cite_note-23"><a href="#cite_ref-23">^</a> <a href="#CITEREFKapovich2001">Kapovich 2001</a>, p. 51

</li>

<li id="cite_note-24"><a href="#cite_ref-24">^</a> <a href="#CITEREFRatcliffe2006">Ratcliffe 2006</a>, p. 583, Lemma 4

</li>

<li id="cite_note-25"><a href="#cite_ref-25">^</a> <a href="#CITEREFRatcliffe2006">Ratcliffe 2006</a>, pp. 584–586, Lemmas 5–6

</li>

<li id="cite_note-26"><a href="#cite_ref-26">^</a> <a href="#CITEREFKapovich2001">Kapovich 2001</a>, p. 52

</li>

<li id="cite_note-27"><a href="#cite_ref-27">^</a> Bi-Lipschitz homeomorphisms are those for which they and their inverses are Lipschitz continuous

</li>

<li id="cite_note-28"><a href="#cite_ref-28">^</a> See:

<ul><li><a href="#CITEREFAhlfors1966">Ahlfors 1966</a></li>

<li><a href="#CITEREFLehto1987">Lehto 1987</a></li></ul>

</li>

<li id="cite_note-29"><a href="#cite_ref-29">^</a> See:

<ul><li><a href="#CITEREFBourdon1995">Bourdon 1995</a></li>

<li><a href="#CITEREFBridsonHaefliger1999">Bridson & Haefliger 1999</a></li>

<li><a href="#CITEREFBuyaloSchroeder2007">Buyalo & Schroeder 2007</a></li>

<li><a href="#CITEREFBourdon2009">Bourdon 2009</a></li></ul>

</li>

<li id="cite_note-30"><a href="#cite_ref-30">^</a> <a href="#CITEREFBridsonHaefliger1999">Bridson & Haefliger 1999</a>, pp. 430–431

</li>

<li id="cite_note-31"><a href="#cite_ref-31">^</a> See:

<ul><li><a href="#CITEREFBourdon1995">Bourdon 1995</a></li>

<li><a href="#CITEREFBuyaloSchroeder2007">Buyalo & Schroeder 2007</a></li>

<li><a href="#CITEREFBourdon2009">Bourdon 2009</a></li></ul>

</li>

<li id="cite_note-32"><a href="#cite_ref-32">^</a> <a href="#CITEREFRoe2003">Roe 2003</a>, p. 113

</li>

<li id="cite_note-33"><a href="#cite_ref-33">^</a> <a href="#CITEREFBeardon1983">Beardon 1983</a>, pp. 75–78 Note that there is a natural homomorphism of S4 onto S3, acting by conjugation on (a,b)(c,d), (a,c)(b,d) and (a,d)(b,c). Indeed these permutations together with the identity form a normal Abelian subgroup equal to its own centraliser: the action of S4 by conjugation on the non-trivial elements yields the homomorphism onto S3.

</li>

<li id="cite_note-34"><a href="#cite_ref-34">^</a> See:

<ul><li><a href="#CITEREFPaulin1996">Paulin 1996</a></li>

<li><a href="#CITEREFBuyaloSchroeder2007">Buyalo & Schroeder 2007</a></li></ul>

</li>

<li id="cite_note-35"><a href="#cite_ref-35">^</a> <a href="#CITEREFVäisälä1984">Väisälä 1984</a>

</li>

<li id="cite_note-36"><a href="#cite_ref-36">^</a> <a href="#CITEREFBourdon2009">Bourdon 2009</a>

</li>

<li id="cite_note-37"><a href="#cite_ref-37">^</a> <a href="#CITEREFHoffman2005">Hoffman 2005</a>

</li>

<li id="cite_note-38"><a href="#cite_ref-38">^</a> <a href="#CITEREFDamronHanson2014">Damron & Hanson 2014</a>

</li>

<li id="cite_note-39"><a href="#cite_ref-39">^</a> <a href="#CITEREFGeorgiouRassoul-AghaSeppäläinen2016">Georgiou, Rassoul-Agha & Seppäläinen 2016</a>

</li>

</ol></div>

<div class="mw-heading mw-heading2"><h2 id="References">References</h2></div>

/* start https://en.wikipedia.org/ */

.mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free.id-lock-free a{background:url("./mw/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited.id-lock-limited a,.mw-parser-output .id-lock-registration.id-lock-registration a{background:url("./mw/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription.id-lock-subscription a{background:url("./mw/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:url("./mw/Wikisource-logo.svg")right 0.1em center/12px no-repeat}body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-free a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-limited a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-registration a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-subscription a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .cs1-ws-icon a{background-size:contain;padding:0 1em 0 0}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:var(--color-error,#d33)}.mw-parser-output .cs1-visible-error{color:var(--color-error,#d33)}.mw-parser-output .cs1-maint{display:none;color:#085;margin-left:0.3em}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}@media screen{.mw-parser-output .cs1-format{font-size:95%}html.skin-theme-clientpref-night .mw-parser-output .cs1-maint{color:#18911f}}@media screen and (prefers-color-scheme:dark){html.skin-theme-clientpref-os .mw-parser-output .cs1-maint{color:#18911f}}

/* end https://en.wikipedia.org/ */

</style><cite id="CITEREFAhlfors1966" class="citation cs2"><a href="Lars_Ahlfors" title="Lars Ahlfors">Ahlfors, Lars V.</a> (1966), Lectures on quasiconformal mappings, Van Nostrand</cite></li>

<li><cite id="CITEREFBallmannGromovSchroeder1985" class="citation cs2">Ballmann, Werner; Gromov, Mikhael; Schroeder, Viktor (1985), Manifolds of nonpositive curvature, Progress in Mathematics, vol. 61, <a href="Birkh%C3%A4user" title="Birkhäuser">Birkhäuser</a>, <a href="ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <bdi>0-8176-3181-X</bdi></cite></li>

<li><cite id="CITEREFBallmann1995" class="citation cs2">Ballmann, Werner (1995), Lectures on spaces of nonpositive curvature, DMV Seminar, vol. 25, Birkhäuser, <a href="ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <bdi>3-7643-5242-6</bdi></cite></li>

<li><cite id="CITEREFBeardon1983" class="citation cs2">Beardon, Alan F. (1983), The Geometry of Discrete Groups, Springer-Verlag, <a href="ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <bdi>0-387-90788-2</bdi></cite></li>

<li><cite id="CITEREFBourdon1995" class="citation cs2 cs1-prop-foreign-lang-source">Bourdon, Marc (1995), "Structure conforme au bord et flot géodésique d'un CAT(−1)-espace", Enseign. Math. (in French), 41: 63–102</cite></li>

<li><cite id="CITEREFBourdon2009" class="citation cs2">Bourdon, Marc (2009), "Quasi-conformal geometry and Mostow rigidity", Géométries à courbure négative ou nulle, groupes discrets et rigidités, Sémin. Congr., vol. 18, Soc. Math. France, pp. 201–212</cite></li>

<li><cite id="CITEREFBridsonHaefliger1999" class="citation cs2">Bridson, Martin R.; Haefliger, André (1999), Metric spaces of non-positive curvature, Springer</cite></li>

<li><cite id="CITEREFBusemann1955" class="citation cs2">Busemann, Herbert (1955), The geometry of geodesics, Academic Press</cite></li>

<li><cite id="CITEREFBuyaloSchroeder2007" class="citation cs2">Buyalo, Sergei; Schroeder, Viktor (2007), Elements of asymptotic geometry, EMS Monographs in Mathematics, <a href="European_Mathematical_Society" title="European Mathematical Society">European Mathematical Society</a>, <a href="ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <bdi>978-3-03719-036-4</bdi></cite></li>

<li><cite id="CITEREFDal'boPeignéSambusetti2012" class="citation cs2">Dal'bo, Françoise; Peigné, Marc; Sambusetti, Andrea (2012), <a rel="nofollow" class="external text" href="http://msp.org/pjm/2012/259-1/pjm-v259-n1-p03-s.pdf">"On the horoboundary and the geometry of rays of negatively curved manifolds"</a> (PDF), Pacific J. Math., 259: 55–100, <a href="ArXiv_(identifier)" class="mw-redirect" title="ArXiv (identifier)">arXiv</a>:<a rel="nofollow" class="external text" href="https://arxiv.org/abs/1010.6028">1010.6028</a>, <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.2140%2Fpjm.2012.259.55">10.2140/pjm.2012.259.55</a>, <a href="S2CID_(identifier)" class="mw-redirect" title="S2CID (identifier)">S2CID</a> <a rel="nofollow" class="external text" href="https://api.semanticscholar.org/CorpusID:7309250">7309250</a></cite>, Appendix</li>

<li><cite id="CITEREFDamronHanson2014" class="citation cs2">Damron, Michael; Hanson, Jack (2014), "Busemann functions and infinite geodesics in two-dimensional first-passage percolation", Comm. Math. Phys., 325 (3): 917–963, <a href="ArXiv_(identifier)" class="mw-redirect" title="ArXiv (identifier)">arXiv</a>:<a rel="nofollow" class="external text" href="https://arxiv.org/abs/1209.3036">1209.3036</a>, <a href="Bibcode_(identifier)" class="mw-redirect" title="Bibcode (identifier)">Bibcode</a>:<a rel="nofollow" class="external text" href="https://ui.adsabs.harvard.edu/abs/2014CMaPh.325..917D">2014CMaPh.325..917D</a>, <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1007%2Fs00220-013-1875-y">10.1007/s00220-013-1875-y</a>, <a href="S2CID_(identifier)" class="mw-redirect" title="S2CID (identifier)">S2CID</a> <a rel="nofollow" class="external text" href="https://api.semanticscholar.org/CorpusID:119589291">119589291</a></cite></li>

<li><cite id="CITEREFEberleinO'Neill1973" class="citation cs2">Eberlein, P.; O'Neill, B. (1973), "Visibility manifolds", Pacific J. Math., 46: 45–109, <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.2140%2Fpjm.1973.46.45">10.2140/pjm.1973.46.45</a></cite></li>

<li><cite id="CITEREFEfremovichTikhomirova1964" class="citation cs2 cs1-prop-foreign-lang-source"><a href="Efremovich" class="mw-redirect" title="Efremovich">Efremovich, V. A.</a>; Tikhomirova, E. S. (1964), <a rel="nofollow" class="external text" href="https://www.mathnet.ru/php/getFT.phtml?jrnid=im&paperid=3046&what=fullt&option_lang=eng">"Equimorphisms of hyperbolic spaces"</a>, Izv. Akad. Nauk SSSR Ser. Mat. (in Russian), 28: 1139–1144</cite></li>

<li><cite id="CITEREFGeorgiouRassoul-AghaSeppäläinen2016" class="citation cs2">Georgiou, Nicos; Rassoul-Agha, Firas; Seppäläinen, Timo (2016), "Variational formulas and cocycle solutions for directed polymer and percolation models", Comm. Math. Phys., 346 (2): 741–779, <a href="ArXiv_(identifier)" class="mw-redirect" title="ArXiv (identifier)">arXiv</a>:<a rel="nofollow" class="external text" href="https://arxiv.org/abs/1311.3016">1311.3016</a>, <a href="Bibcode_(identifier)" class="mw-redirect" title="Bibcode (identifier)">Bibcode</a>:<a rel="nofollow" class="external text" href="https://ui.adsabs.harvard.edu/abs/2016CMaPh.346..741G">2016CMaPh.346..741G</a>, <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1007%2Fs00220-016-2613-z">10.1007/s00220-016-2613-z</a>, <a href="S2CID_(identifier)" class="mw-redirect" title="S2CID (identifier)">S2CID</a> <a rel="nofollow" class="external text" href="https://api.semanticscholar.org/CorpusID:5887311">5887311</a></cite></li>

<li><cite id="CITEREFHoffman2005" class="citation cs2">Hoffman, Christopher (2005), "Coexistence for Richardson type competing spatial growth models", Ann. Appl. Probab., 15: 739–747, <a href="ArXiv_(identifier)" class="mw-redirect" title="ArXiv (identifier)">arXiv</a>:<a rel="nofollow" class="external text" href="https://arxiv.org/abs/math/0405377">math/0405377</a>, <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1214%2F105051604000000729">10.1214/105051604000000729</a>, <a href="S2CID_(identifier)" class="mw-redirect" title="S2CID (identifier)">S2CID</a> <a rel="nofollow" class="external text" href="https://api.semanticscholar.org/CorpusID:15113728">15113728</a></cite></li>

<li><cite id="CITEREFKapovich2001" class="citation cs2">Kapovich, Michael (2001), Hyperbolic manifolds and discrete groups, Progress in Mathematics, vol. 183, <a href="Birkh%C3%A4user" title="Birkhäuser">Birkhäuser</a>, <a href="ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <bdi>0-8176-3904-7</bdi></cite></li>

<li><cite id="CITEREFLehto1987" class="citation cs2">Lehto, Olli (1987), Univalent functions and Teichmüller spaces, Graduate Texts in Mathematics, vol. 109, Springer-Verlag, <a href="ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <bdi>0-387-96310-3</bdi></cite></li>

<li><cite id="CITEREFLurie2010" class="citation cs2">Lurie, J. (2010), <a rel="nofollow" class="external text" href="https://web.archive.org/web/20060708074249/http://www.math.harvard.edu/~lurie/papers/hadamard.pdf">Notes on the theory of Hadamard spaces</a> (PDF), <a href="Harvard_University" title="Harvard University">Harvard University</a>, archived from <a rel="nofollow" class="external text" href="http://www.math.harvard.edu/~lurie/papers/hadamard.pdf">the original</a> (PDF) on July 8, 2006</cite></li>

<li><cite id="CITEREFMori1957" class="citation cs2">Mori, Akira (1957), <a rel="nofollow" class="external text" href="https://www.ams.org/journals/tran/1957-084-01/S0002-9947-1957-0083024-5/S0002-9947-1957-0083024-5.pdf">"On quasi-conformality and pseudo-analyticity"</a> (PDF), Trans. Amer. Math. Soc., 84: 56–77, <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1090%2Fs0002-9947-1957-0083024-5">10.1090/s0002-9947-1957-0083024-5</a></cite></li>

<li><cite id="CITEREFMorse1924" class="citation cs2"><a href="Marston_Morse" title="Marston Morse">Morse, H. M.</a> (1924), <a rel="nofollow" class="external text" href="https://www.ams.org/journals/tran/1924-026-01/S0002-9947-1924-1501263-9/S0002-9947-1924-1501263-9.pdf">"A fundamental class of geodesics on any closed surface of genus greater than one"</a> (PDF), Trans. Amer. Math. Soc., 26: 25–60, <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1090%2Fs0002-9947-1924-1501263-9">10.1090/s0002-9947-1924-1501263-9</a></cite></li>

<li><cite id="CITEREFMostow1973" class="citation book cs2">Mostow, G. Daniel (1973), Strong Rigidity of Locally Symmetric Spaces, Annals of Mathematics Studies, vol. 78, Princeton University Press, <a href="ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <bdi>978-0-6910-8136-6</bdi>, <a href="JSTOR_(identifier)" class="mw-redirect" title="JSTOR (identifier)">JSTOR</a> <a rel="nofollow" class="external text" href="https://www.jstor.org/stable/j.ctt1bd6kr9">j.ctt1bd6kr9</a></cite></li>

<li><cite id="CITEREFPapadopoulos2014" class="citation cs2">Papadopoulos, Athanase (2014), Metric spaces, convexity and non-positive curvature, IRMA Lectures in Mathematics and Theoretical Physics, vol. 6 (Second ed.), <a href="European_Mathematical_Society" title="European Mathematical Society">European Mathematical Society</a>, <a href="ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <bdi>978-3-03719-132-3</bdi></cite></li>

<li><cite id="CITEREFPaulin1996" class="citation cs2 cs1-prop-foreign-lang-source">Paulin, Frédéric (1996), "Un groupe hyperbolique est déterminé par son bord", J. London Math. Soc. (in French), 54: 50–74, <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1112%2Fjlms%2F54.1.50">10.1112/jlms/54.1.50</a></cite></li>

<li><cite id="CITEREFRatcliffe2006" class="citation cs2">Ratcliffe, John G. (2006), Foundations of hyperbolic manifolds, Graduate Texts in Mathematics, vol. 149 (Second ed.), Springer, <a href="ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <bdi>978-0387-33197-3</bdi></cite></li>

<li><cite id="CITEREFRoe2003" class="citation cs2">Roe, John (2003), Lectures on coarse geometry, University Lecture Series, vol. 31, <a href="American_Mathematical_Society" title="American Mathematical Society">American Mathematical Society</a>, <a href="ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <bdi>0-8218-3332-4</bdi></cite></li>

<li><cite id="CITEREFShiohama1984" class="citation cs2">Shiohama, Katsuhiro (1984), "Topology of complete noncompact manifolds", Geometry of geodesics and related topics, Adv. Stud. Pure Math., vol. 3, <a href="North-Holland_Publishing_Company" class="mw-redirect" title="North-Holland Publishing Company">North-Holland</a>, pp. 423–450</cite></li>

<li><cite id="CITEREFShioya2001" class="citation cs2">Shioya, T. (2001) [1994], <a rel="nofollow" class="external text" href="https://www.encyclopediaofmath.org/index.php?title=Busemann_function">"Busemann function"</a>, <a href="Encyclopedia_of_Mathematics" title="Encyclopedia of Mathematics">Encyclopedia of Mathematics</a>, <a href="European_Mathematical_Society" title="European Mathematical Society">EMS Press</a></cite></li>

<li><cite id="CITEREFVäisälä1984" class="citation cs2">Väisälä, Jussi (1984), "Quasi-Möbius maps", <a href="Journal_d'Analyse_Math%C3%A9matique" title="Journal d'Analyse Mathématique">Journal d'Analyse Mathématique</a>, 44: 218–234, <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1007%2Fbf02790198">10.1007/bf02790198</a>, <a href="S2CID_(identifier)" class="mw-redirect" title="S2CID (identifier)">S2CID</a> <a rel="nofollow" class="external text" href="https://api.semanticscholar.org/CorpusID:189767039">189767039</a></cite></li></ul></div><div><div class="zim-footer">

This article is issued from <a class="external text" title="Last edited on 2025-05-30" href="https://en.wikipedia.org/wiki/?title=Busemann_function&oldid=1293030535">Wikipedia</a>. The text is available under <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.en">Creative Commons Attribution-Share Alike 4.0</a> unless otherwise noted. Additional terms may apply for the media files.

</div>

</div></div>

</div>

</main>

</div>

</body></html>